forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
Feature proposals
jfdm edited this page Jan 3, 2015
·
16 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
- Egg #7: The Idris Package Manager
New Foreign Function Interface
Tool Support
Community
- Mini Projects, for those interested in contributing
- Libraries, available elsewhere
- Idris Developer Meetings
- Tutorial: Type Providers and Foreign Functions
- The Zen of Idris
- Profiling
Feature proposals ("dragon eggs")