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.
- Jenis Kata: proper noun
- Industri / Domain: Komputer
- Kategori: Software engineering
0
Penulis
- stanley soerianto
- 100% positive feedback
(Beijing, China)