User talk:Virinas-code
Latest comment: 3 months ago by Virinas-code in topic Z34378
Welcome!
Welcome to Wikifunctions, Virinas-code!
Wikifunctions is an open repository of code functions that anyone can use and contribute to!
Do you need some help getting started? Here are some pages you can familiarize yourself with:
- Introduction – An introduction to the project.
- Community portal – The portal for community members.
- Contents – The main help page for editing and using the site.
- Glossary – Definitions of frequently used terms.
- FAQ – Frequently asked questions.
- Project chat – Discussions about the project.
Please remember to sign your messages on talk pages by typing four tildes (~~~~); this will automatically insert your username and the date.
If you have any questions, don't hesitate to ask on Project chat. Once again, welcome, and I hope you quickly feel comfortable here, and become an active contributor to Wikifunctions.
Best regards! Feeglgeef (talk) 19:03, 9 April 2026 (UTC)
Z34378
Hi. I wanted to ask what the exact difference between Z34378 and Z13381. Thanks! JJPMaster (she/they) 18:36, 27 April 2026 (UTC)
- Hi! is listed in (Z13381) uses object equality (Z13052) to compare any objects (and test wether they are contained), while Is element of an hereditary set (Z34378) recursively uses Equality of hereditary sets (Z34273) and can only be used to compare and test for containment of "sets".
- The issue lies in the concept of a "set". Since creating a new type isn't yet possible, a set is represented as a Typed list (Z881). The best defintion of a set is that a set is the union of the empty set (an empty typed list) and of a typed list of sets:
Set = Typed list(Set) | Empty set. - I took the decision to make specific functions for these new sets object, based only on composition of builtins. Since they are often used in high-depth recursions I wanted them to be as fast and simple as possible. I hope that maybe one day this weird concept can become a full type. is listed in (Z13381) could still be used in an implementation of Is element of an hereditary set (Z34378), but I'd like to keep those separates if possible :) Virinas-code (talk) 20:02, 27 April 2026 (UTC)