🧭 Roadmap

✔️ Mission 1

• Hindley-Milner type inference
• Safe subset of System Fω
• Algebraic Data Type (ADT)

✔️ Mission 2

• Traits a.k.a., Type Class
• Trait Record - Type Class as first-class record value

✔️ Mission 3

• Multi-Parameter Type Class (MPTC)
• Higher-order Trait Record - MPTC as first-class record value
• Overloaded Function Template
• Type and requires inference w/o type annotation

Extra Mission 1

• Split/Merge record operators
• Row Kind / Row polymorphism
• Row Kind inference w/o Kind annotation

Extra Mission 2

• Safe subset of Nat Kind
• Nat Kind inference w/o Kind annotation
• Array, Linear Type, Affine Type, etc.
• String, I/O

It’s a long, long journey…