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

类别 Languages

词汇总数: 19

Other terms in this blossary

创建者

© 2024 CSOFT International, Ltd.