Matches in DBpedia 2015-10 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) latestReleaseDate "2015-08-31".
- Idris_(programming_language) latestReleaseVersion "0.9.19".
- 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 "7180".
- Idris_(programming_language) wikiPageOutDegree "42".
- Idris_(programming_language) wikiPageRevisionID "681225165".
- 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 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 EDSL.
- Idris_(programming_language) wikiPageWikiLink Epigram_(programming_language).
- Idris_(programming_language) wikiPageWikiLink Functional_programming.
- Idris_(programming_language) wikiPageWikiLink GADT.
- 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 Hello_world_program.
- Idris_(programming_language) wikiPageWikiLink Inductively-defined_data_type.
- 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 Purely_functional_programming_language.
- Idris_(programming_language) wikiPageWikiLink Recursive_data_type.
- Idris_(programming_language) wikiPageWikiLink Side_effect_(computer_science).
- 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) wikiPageWikiLink Typechecking.
- 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) hasPhotoCollection Idris_(programming_language).
- 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 "2015-08-31".
- 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) wikiPageUsesTemplate Template:As_of.
- Idris_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Idris_(programming_language) wikiPageUsesTemplate Template:Reflist.
- 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 Thing.
- Idris_(programming_language) type Q386724.
- Idris_(programming_language) type Q7397.
- 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 Idris_(llenguatge_de_programació).
- Idris_(programming_language) sameAs m.0swpzmh.
- Idris_(programming_language) sameAs Q15408477.
- Idris_(programming_language) sameAs Q15408477.
- Idris_(programming_language) sameAs Idris.
- Idris_(programming_language) wasDerivedFrom Idris_(programming_language)?oldid=681225165.
- Idris_(programming_language) homepage idris-lang.org.
- Idris_(programming_language) isPrimaryTopicOf Idris_(programming_language).