What is Idris written in?
Idris uses a bootstrap chain from Haskell (documented).
Quick Facts
- First released
- 2011
- Typing
- static
- License
- BSD licenses
- Filename extension
- .idr, .lidr
- Website
- www.idris-lang.org
About Idris
Idris is a purely functional programming language. It is a statically typed and garbage-collected language. It supports functional and dependent-typed programming.
Idris first appeared in 2011. Idris is now used mainly in specialized niches and by dedicated communities.
How Idris is implemented
In the Language Lineage dataset, its toolchain was bootstrapped from Haskell.
Idris in the language family tree
Idris drew on ideas from Haskell and Coq.
Sources: Wikipedia · Wikidata · Official site
Frequently Asked Questions
What language is Idris written in?
Idris is primarily implemented in Haskell. See the implementation section above for details and source references.
What languages influenced Idris?
Idris was influenced by Haskell, Coq among others. See the influence section above for the full list.
When was Idris first released?
Idris was first released in 2011.