Feature proposals

Jump to bottom Edit New page

Ahmad Salim Al-Sibahi edited this page Mar 18, 2014 · 23 revisions

Egg #1: Error Reflection: Better error handling for embedded DSLs
Egg #2: Erasure annotations: Erase runtime-irrelevant terms
Egg #3: Structured String Literals: Type-safe literals for structured data (XML, JSON, etc.)
Egg #4: Agda style records and modules: Records with fields and constructors and parameterised modules.