-
-
Notifications
You must be signed in to change notification settings - Fork 2
Equivalence Classes
Andrew Johnson edited this page Jun 8, 2024
·
22 revisions
Equivalence Classes are an important concept used throughout the compiler.
Set operations are used to manipulate objects and their classes. Some common operations include:
-
without-<class>remove information -
with-<class>add information (strong) -
guess-<class>add information (weak) -
with-only-<class>add & normalize information (strong) -
guess-only-<class>add & normalize information (weak)
Some common type classes include:
representationsize-
datatype# includes tags -
normal datatype# removes tags
Type Slots are similar to classes but are much more specific. A Slot is a single Ground Type possibly with some parameters but nothing else.
-
with-slotadd information -
with-only-slotnarrow information -
without-slotremove information
The λ☶ source code and documentation are released under the terms of the attached permissive MIT license. This license is intended only to protect the future development of the project while otherwise allowing people to use the code and IP as they would like. Please, just be nice.