13
/
en
AIzaSyCYaC8UkdPkQKLFUmpasLV5eC3M802CrcA
52286
4996
2

jan 1, 2009 - Idris

Description:

Idris is a general-purpose purely functional programming language with dependent types, strict or optional lazy evaluation and features such as a totality checker.

Even before its possible usage for interactive theorem-proving, the focus of Idris is on general-purpose programming, like the purely functional Haskell, and with sufficient performance. The type system of Idris is similar to the one used by Agda and theorem-proving in it is similar to Coq, including tactics. In comparison, Idris has a priority on easy management of side-effects and support for implementing embedded domain specific languages.

Added to timeline:

10 months ago
0
0
114
computer prog

Date:

jan 1, 2009
Now
~ 9 years and 7 months ago
FeedbackAboutTermsPrivacy