-
-
Notifications
You must be signed in to change notification settings - Fork 1
Equivalence Classes
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) -
has-<class>query whether information is present (strong) -
is-<class>query whether conjugate satisfies a predicate (strong)
Some common type classes include:
representationsizefieldsfields-sizedatatype-normaldatatype-tagpropertyproposition
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
A type is said to be normalized when it contains only the minimal amount of information to uniquely identify itself.
A type is said to be denormalized when it contains the maximum amount of information that can be strongly inferred from its normal form.
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.