This website uses cookies
We use cookies to continuously improve your experience on our site. More info.
🚀 Join our exclusive newsletter for Recruiters and Sourcers
Launching on Oct 20th, 2023. Become tech-savvy – sign up today!
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