Home >  Blossary: Programming Languages  >  Term: Idris
Idris

Idris is a general-purpose pure functional programming language with dependent types. The type system is similar to the one used by Agda.

The language supports interactive theorem-proving comparable to Coq, including tactics, while the focus remains on general-purpose programming even before theorem-proving. Other goals of Idris are "sufficient" performance, easy management of side-effects and support for implementing embedded domain specific languages.

0 0

Programming Languages

Category: Languages

Total terms: 19

Other terms in this blossary

Kūrėjas

© 2024 CSOFT International, Ltd.