Matches in DBpedia 2015-10 for { ?s ?p "Idris is a general-purpose purely 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.As of October 2014, Idris compiles to C and relies on a custom copying garbage collector using Cheney's algorithm. There also exist JavaScript and Java backends, and a partial LLVM backend.The name Idris goes back to the character of the singing dragon in the 70's UK kids' program Ivor the Engine."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- Idris_(programming_language) abstract "Idris is a general-purpose purely 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.As of October 2014, Idris compiles to C and relies on a custom copying garbage collector using Cheney's algorithm. There also exist JavaScript and Java backends, and a partial LLVM backend.The name Idris goes back to the character of the singing dragon in the 70's UK kids' program Ivor the Engine.".