About: Idris (programming language)

Property	Value
dbo:description	Programmiersprache (de) Programméiersprooch (lb) język programowania (pl) langage de programmation (fr) lenguaje de programación (es) limbaj de programare (ro) linguagem de programação (pt) linguaggio di programmazione (it) llenguatge de programació (ca) ohjelmointikieli (fi) programlingvo (eo) programmeringssprog (da) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) yezh programmiñ (br) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) programmeertaal (nl) purely functional programming language (en)
dbo:influencedBy	dbr:F_Sharp_(programming_language) dbr:Haskell dbr:ML_(programming_language) dbr:Rust_(programming_language) dbr:Agda_(programming_language) dbr:Clean_(programming_language) dbr:Coq_(software) dbr:Epigram_(programming_language)
dbo:latestReleaseDate	2021-10-22 (xsd:date)
dbo:latestReleaseVersion	1.3.4
dbo:license	dbr:BSD_licenses
dbo:wikiPageExternalLink	http://docs.idris-lang.org/en/latest/index.html http://idris-lang.org/ http://hackage.haskell.org/package/idris
dbo:wikiPageWikiLink	dbr:Hello_world_program dbr:EDSL dbr:Type_class dbr:Self-hosting_(compilers) dbr:Subroutine dbr:JavaScript dbr:Ivor_the_Engine dbr:BSD_licenses dbr:C_(programming_language) dbr:F_Sharp_(programming_language) dbr:ML_(programming_language) dbr:Programming_language dbr:Rust_(programming_language) dbr:Scheme_(programming_language) dbr:Common_Intermediate_Language dbc:Functional_languages dbr:Parametric_polymorphism dbc:Cross-platform_free_software dbc:Programming_languages_created_in_2007 dbc:Software_using_the_BSD_license dbr:Agda_(programming_language) dbr:Clean_(programming_language) dbr:Epigram_(programming_language) dbr:Infinite_loop dbr:Termination_analysis dbr:Library_(computing) dbr:Compile_time dbr:Type_system dbr:LLVM dbr:Functional_programming dbr:Proof_assistant dbr:Cheney's_algorithm dbr:Node.js dbr:Cross-platform dbr:Generalized_algebraic_data_type dbr:Java_virtual_machine dbr:Lazy_evaluation dbr:Garbage_collection_(computer_science) dbr:Coq dbr:General-purpose_programming_language dbr:Type_signature dbr:Partial_function dbr:Dependent_type dbc:2007_software dbr:Side_effect_(computer_science) dbc:Dependently_typed_languages dbc:Experimental_programming_languages dbc:Free_software_programmed_in_Haskell dbc:Haskell_programming_language_family dbc:High-level_programming_languages dbr:Total_functional_programming dbc:Pattern_matching_programming_languages dbr:Purely_functional_programming dbr:Array_data_structure dbr:Haskell_(programming_language) dbr:Linear_type_system dbr:Haskell_98 dbr:Inductively-defined_data_type dbr:Type_checking dbc:Free_compilers_and_interpreters dbr:Tactic_(computer_science) dbr:Quantitative_type_theory
dbp:designer	Edwin Brady (en)
dbp:fileExt	.idr, .lidr (en)
dbp:influencedBy	dbr:F_Sharp_(programming_language) dbr:Haskell dbr:ML_(programming_language) dbr:Rust_(programming_language) dbr:Agda_(programming_language) dbr:Clean_(programming_language) dbr:Coq_(software) dbr:Epigram_(programming_language)
dbp:latestPreviewDate	2023-12-22 (xsd:date)
dbp:latestPreviewVersion	0.700000 (xsd:double)
dbp:latestReleaseDate	2021-10-22 (xsd:date)
dbp:latestReleaseVersion	1.300000 (xsd:double)
dbp:license	dbr:BSD_licenses
dbp:name	Idris (en)
dbp:operatingSystem	dbr:Cross-platform_software
dbp:paradigm	dbr:Functional_programming
dbp:typing	dbr:Type_system dbr:Type_inference dbr:Strong_and_weak_typing
dbp:wikiPageUsesTemplate	dbt:Haskell_programming dbt:Infobox_programming_language dbt:Official_website dbt:Primary_sources dbt:Programming_languages dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:URL dbt:Vague
dct:subject	dbc:Functional_languages dbc:Cross-platform_free_software dbc:Programming_languages_created_in_2007 dbc:Software_using_the_BSD_license dbc:Statically_typed_programming_languages dbc:Articles_with_example_Haskell_code dbc:2007_software dbc:Dependently_typed_languages dbc:Experimental_programming_languages dbc:Free_software_programmed_in_Haskell dbc:Haskell_programming_language_family dbc:High-level_programming_languages dbc:Pattern_matching_programming_languages dbc:Free_and_open_source_compilers
rdf:type	owl:Thing dbo:Language dbo:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage dbo:ProgrammingLanguage dbo:ProgrammingLanguage schema:Language
rdfs:label	Idris (programming language) (en) Idris (llenguatge de programació) (ca) Idris (язык программирования) (ru) Idris (zh)
owl:sameAs	freebase:Idris (programming language) yago-res:Idris (programming language) wikidata:Idris (programming language) dbpedia-ro:Idris (programming language) dbpedia-ru:Idris (programming language) dbpedia-zh:Idris (programming language) dbpedia-ca:Idris (programming language) dbpedia-fa:Idris (programming language) dbpedia-uz:Idris (programming language) dbpedia-global:Idris (programming language)
prov:wasDerivedFrom	wikipedia-en:Idris_(programming_language)?oldid=1311884494&ns=0
foaf:homepage	http://idris-lang.org
foaf:isPrimaryTopicOf	wikipedia-en:Idris_(programming_language)
foaf:name	Idris (en)
is dbo:influenced of	dbr:Haskell dbr:ML_(programming_language) dbr:Agda_(programming_language)__Agda__1 dbr:Clean_(programming_language) dbr:Epigram_(programming_language)
is dbo:wikiPageDisambiguates of	dbr:Idris
is dbo:wikiPageRedirects of	dbr:Idris_2
is dbo:wikiPageWikiLink of	dbr:Self-hosting_(compilers) dbr:Ivor_the_Engine dbr:Haskell dbr:ML_(programming_language) dbr:Rust_(programming_language) dbr:Referential_transparency dbr:Substructural_type_system dbr:Agda_(programming_language) dbr:Clean_(programming_language) dbr:Epigram_(programming_language) dbr:First-class_citizen dbr:Idris dbr:Per_Martin-Löf dbr:Intuitionistic_type_theory dbr:Proof_assistant dbr:List_of_programming_languages_by_type dbr:History_of_software dbr:Timeline_of_programming_languages dbr:Coq dbr:Algebraic_data_type dbr:Whitespace_(programming_language) dbr:Dependent_type dbr:Generational_list_of_programming_languages dbr:Uniqueness_type dbr:Iosevka dbr:Induction-recursion dbr:Applicative_functor dbr:List_of_programming_languages dbr:List_of_arbitrary-precision_arithmetic_software dbr:Comparison_of_functional_programming_languages dbr:Idris_2
is dbp:influenced of	dbr:ML_(programming_language) dbr:Agda_(programming_language) dbr:Clean_(programming_language) dbr:Epigram_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Idris_(programming_language)