Type System

The type system builds on core primitive types inherent to the EVM with abstract data types for parametric polymorphism, nominative subtyping, and compile time monomorphization.

• Primitive Types
• Type Assignment
• Array Types
• Product Types
• Sum Types
• Generics
• Trait Constraints
• Implementation
• Function Types
• Event Types
• Application Binary Interface
• Contract Objects