About: Idris (programming language)

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