Type System

Felix is a statically typed scripting language which has a rich and powerful type system. It supports type deduction and both ad-hoc and type class based overloading, but not type inference. It provides standard parametric polymorphism with ad-hoc weak constraints.

Contents:

• Kinding System
• Type Aliases
• Type Functions
• Type Matches
• Type Sets
• Typecase
• Typeof operator
• Primitive Types
• Abstract Types
• Type Classes
• Overloading System
• Uniqueness Types