This website uses cookies
We use cookies to continuously improve your experience on our site. More info.
Hire software engineers — relocate or remote
Relocate.me supports GlossaryTech to keep it free for the community
Idris
A functional programming language with dependent types focused on general-purpose programming. It has indentation significant and extensible syntax. It also offers interactive editing via the compiler, which lets you code using types, and type-driven overloading resolution.
| First released | 2013 |
| Developed by | Edwin Brady |
| Latest stable version | 2 |
Interesting facts
Its features were influenced by Haskell and ML