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.
[ 1 ] [ 2 ] [ 3 ]
|
