Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Idris_(programming_language)> ?p ?o }
- 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.".
- 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) influencedBy Rust_(programming_language).
- Idris_(programming_language) latestReleaseDate "2016-01-20".
- Idris_(programming_language) latestReleaseVersion "0.10".
- Idris_(programming_language) wikiPageExternalLink index.html.
- Idris_(programming_language) wikiPageExternalLink idris.
- Idris_(programming_language) wikiPageExternalLink idris-lang.org.
- Idris_(programming_language) wikiPageID "39035048".
- Idris_(programming_language) wikiPageLength "7391".
- Idris_(programming_language) wikiPageOutDegree "48".
- Idris_(programming_language) wikiPageRevisionID "707754304".
- Idris_(programming_language) wikiPageWikiLink %22Hello,_World!%22_program.
- Idris_(programming_language) wikiPageWikiLink Agda_(programming_language).
- Idris_(programming_language) wikiPageWikiLink C_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Category:Cross-platform_free_software.
- Idris_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- Idris_(programming_language) wikiPageWikiLink Category:Free_compilers_and_interpreters.
- Idris_(programming_language) wikiPageWikiLink Category:Free_software_programmed_in_Haskell.
- Idris_(programming_language) wikiPageWikiLink Category:Functional_languages.
- Idris_(programming_language) wikiPageWikiLink Category:Haskell_programming_language_family.
- Idris_(programming_language) wikiPageWikiLink Category:Software_using_the_BSD_license.
- Idris_(programming_language) wikiPageWikiLink Cheneys_algorithm.
- Idris_(programming_language) wikiPageWikiLink Coq.
- Idris_(programming_language) wikiPageWikiLink Cross-platform.
- Idris_(programming_language) wikiPageWikiLink Dependent_type.
- Idris_(programming_language) wikiPageWikiLink Domain-specific_language.
- Idris_(programming_language) wikiPageWikiLink Epigram_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Functional_programming.
- Idris_(programming_language) wikiPageWikiLink Garbage_collection_(computer_science).
- Idris_(programming_language) wikiPageWikiLink General-purpose_language.
- Idris_(programming_language) wikiPageWikiLink Generalized_algebraic_data_type.
- Idris_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Infinite_loop.
- Idris_(programming_language) wikiPageWikiLink Ivor_the_Engine.
- Idris_(programming_language) wikiPageWikiLink JavaScript.
- Idris_(programming_language) wikiPageWikiLink Java_(programming_language).
- Idris_(programming_language) wikiPageWikiLink LLVM.
- Idris_(programming_language) wikiPageWikiLink ML_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Parametric_polymorphism.
- Idris_(programming_language) wikiPageWikiLink Partial_function.
- Idris_(programming_language) wikiPageWikiLink Proof_assistant.
- Idris_(programming_language) wikiPageWikiLink Purely_functional.
- Idris_(programming_language) wikiPageWikiLink Recursive_data_type.
- Idris_(programming_language) wikiPageWikiLink Rust_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Side_effect_(computer_science).
- Idris_(programming_language) wikiPageWikiLink Termination_analysis.
- Idris_(programming_language) wikiPageWikiLink Total_functional_programming.
- Idris_(programming_language) wikiPageWikiLink Type_class.
- Idris_(programming_language) wikiPageWikiLink Type_signature.
- Idris_(programming_language) wikiPageWikiLink Type_system.
- Idris_(programming_language) wikiPageWikiLinkText "Idris (programming language)".
- Idris_(programming_language) wikiPageWikiLinkText "Idris".
- Idris_(programming_language) designer "Edwin Brady".
- Idris_(programming_language) fileExt ".idr, .lidr".
- 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) influencedBy Rust_(programming_language).
- Idris_(programming_language) latestReleaseDate "2016-01-20".
- Idris_(programming_language) latestReleaseVersion "0.1".
- 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) wikiPageUsesTemplate Template:As_of.
- Idris_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Idris_(programming_language) wikiPageUsesTemplate Template:Reflist.
- Idris_(programming_language) wikiPageUsesTemplate Template:Release_date.
- 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) subject Category:Software_using_the_BSD_license.
- Idris_(programming_language) type Language.
- Idris_(programming_language) type ProgrammingLanguage.
- Idris_(programming_language) type Software.
- Idris_(programming_language) type Language.
- Idris_(programming_language) type Language.
- Idris_(programming_language) type Thing.
- Idris_(programming_language) type Q315.
- Idris_(programming_language) type Q34770.
- Idris_(programming_language) type Q9143.
- Idris_(programming_language) comment "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.".
- Idris_(programming_language) label "Idris (programming language)".
- Idris_(programming_language) sameAs Q15408477.
- Idris_(programming_language) sameAs Idris_(llenguatge_de_programació).
- Idris_(programming_language) sameAs m.0swpzmh.
- Idris_(programming_language) sameAs Q15408477.
- Idris_(programming_language) sameAs Idris.
- Idris_(programming_language) wasDerivedFrom Idris_(programming_language)?oldid=707754304.