Feature proposals

ARCHIVED! This page has been part of a formal feature request process that has been discontinued and is solely there for historical reasons.

Feature Proposals (Eggs)

Egg	Description	Status	Comment
Egg #1: Error Reflection	Better error handling for embedded DSLs	Hatched
Egg #2: Erasure annotations	Erase runtime-irrelevant terms	Hatched
Egg #3: Structured String Literals	Type-safe literals for structured data (XML, JSON, etc.)	Hiatus
Egg #4: Agda style records and modules	Records with fields and constructors, and parameterised modules	Hatched (*)	Agda-style records have been implemented, but there is no implementation of a module system
Egg #5: Unicode Support	Make Idris strings support unicode	Hatched (*)	Implemented in C-backend; other backends have to handle Unicode support in strings individually
Egg #6: Improved Support For Literate Programming	Significantly improve literate Idris mode and support for more literate formats (Bird-style, LaTeX, Markdown, Org-mode)	Proposed
Egg #7: The Idris Package Manager	Implementation of a package manager for Idris like cabal/sbt that allows easy download, installation and management of Idris libraries and applications	Initial

Status types

Type	Explanation
Initial	There is no complete description yet
Proposed	There is a description available, but no implementation effort has begun
Ongoing	Implementation is under development
Finished	Implementation is ready and is under code review
Hatched	Implementation is ready and merged
Hiatus	The design and implementation effort is on hold or there is no current plan for implementation
Rejected	The proposed feature is not seen as compatible with existing design goals