Next: , Previous: Syntax, Up: Top   [Contents]


3 Types

The type system is based on many-sorted logic, and supports polymorphism, type classes (see Type classes), and existentially quantified types (see Existential types).