Type System - mikera/kiss GitHub Wiki

Kiss provides an implementation of an abstract type system with the following key features:

• First class types : types can be constructed just like any other value
• All type operations available at both runtime and compile time
• Support for host types (i.e. all JVM types)
• Support static compilation of code down to the most efficient host types
• Support compile-time type checking and type-directed code optimisation
• Support for advanced types
• Union types
• Intersection types
• Dependent types