Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Idris_(programming_language)> ?p ?o. }
Showing items 1 to 48 of
48
with 100 items per page.
- Idris_(programming_language) abstract "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.Currently, 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.".
- Idris_(programming_language) influencedBy Agda_(programming_language).
- Idris_(programming_language) influencedBy Coq.
- Idris_(programming_language) influencedBy Epigram_(programming_language).
- Idris_(programming_language) influencedBy Haskell_(programming_language).
- Idris_(programming_language) influencedBy ML_(programming_language).
- Idris_(programming_language) latestReleaseDate "2014-04-04".
- Idris_(programming_language) latestReleaseVersion "0.9.12".
- Idris_(programming_language) wikiPageExternalLink idris.
- Idris_(programming_language) wikiPageExternalLink idris-lang.org.
- Idris_(programming_language) wikiPageExternalLink idris-tutorial.pdf.
- Idris_(programming_language) wikiPageID "39035048".
- Idris_(programming_language) wikiPageRevisionID "606315587".
- Idris_(programming_language) designer "Edwin Brady".
- Idris_(programming_language) fileExt ".idr".
- Idris_(programming_language) influencedBy Agda_(programming_language).
- Idris_(programming_language) influencedBy Coq.
- Idris_(programming_language) influencedBy Epigram_(programming_language).
- Idris_(programming_language) influencedBy Haskell_(programming_language).
- Idris_(programming_language) influencedBy ML_(programming_language).
- Idris_(programming_language) latestReleaseDate "2014-04-04".
- Idris_(programming_language) latestReleaseVersion "0.9".
- Idris_(programming_language) license "-3.0".
- Idris_(programming_language) name "Idris".
- Idris_(programming_language) operatingSystem Cross-platform.
- Idris_(programming_language) paradigm Functional_programming.
- Idris_(programming_language) website idris-lang.org.
- Idris_(programming_language) subject Category:Cross-platform_free_software.
- Idris_(programming_language) subject Category:Dependently_typed_languages.
- Idris_(programming_language) subject Category:Free_compilers_and_interpreters.
- Idris_(programming_language) subject Category:Free_software_programmed_in_Haskell.
- Idris_(programming_language) subject Category:Functional_languages.
- Idris_(programming_language) subject Category:Haskell_programming_language_family.
- Idris_(programming_language) type ProgrammingLanguage.
- Idris_(programming_language) type Software.
- Idris_(programming_language) type Work.
- Idris_(programming_language) type CreativeWork.
- Idris_(programming_language) type InformationEntity.
- Idris_(programming_language) comment "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.".
- Idris_(programming_language) label "Idris (programming language)".
- Idris_(programming_language) label "Idris".
- Idris_(programming_language) sameAs m.0swpzmh.
- Idris_(programming_language) sameAs Q15408477.
- Idris_(programming_language) sameAs Q15408477.
- Idris_(programming_language) wasDerivedFrom Idris_(programming_language)?oldid=606315587.
- Idris_(programming_language) homepage idris-lang.org.
- Idris_(programming_language) isPrimaryTopicOf Idris_(programming_language).
- Idris_(programming_language) name "Idris".