Feature proposals

Jump to bottom Edit New page

jfdm edited this page Nov 21, 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.
Egg #5: Unicode Support: Make Idris strings support unicode
Egg #6: Improved Support For Literate Programming