What is Idris written in?
It bootstraps via Haskell.
Idris is a purely functional programming language, first released in 2011.
Implementation
| Layer | Written in | Notes |
|---|---|---|
| Bootstrap | Haskell (since 2011) | Idris compiler initially written in Haskell, later self-hosted |
Bootstrap chain
Bootstrapping is the process of using a language's own compiler to compile a new version of itself. The very first compiler must be written in another language; once functional, that compiler can compile a self-hosted version. Idris uses Haskell as part of its bootstrap chain.
See the guide on what is compiler bootstrapping for a walkthrough of how bootstrap chains work in practice.
Explore in the Graph
See Idris's full lineage, including all implementation and influence relationships, in the interactive graph.
Open Interactive Graph →Or view the Idris language page for the complete record.