Avail

Multiply-polymorphic modular language with highly flexible syntax. Unique inheritance model allows multiple inheritance and polymorphism, constrained genericity, covariant attributes via immutability. Due to identityless nature of types, a type can have an infinite number of super- and sub-types.