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.
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.
Evidence Sources
Discover More
Spot something wrong?
Every fact on this page is meant to be checkable. If one is wrong, say so and it becomes a dataset change, not a patch to this page.