About: Idris (programming language)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Idris (programming language) Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q9143, within Data Space : el.dbpedia.org associated with source document(s)

Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be used as a proof assistant, but it is designed to be a general-purpose programming language similar to Haskell. Idris is named after a singing dragon from the 1970s UK children's television program Ivor the Engine.

Attributes	Values
rdf:type	Thing language programming language software schema:Language wikidata:Q315 wikidata:Q9143
rdfs:label	Idris (programming language) (en)
rdfs:comment	Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be used as a proof assistant, but it is designed to be a general-purpose programming language similar to Haskell. Idris is named after a singing dragon from the 1970s UK children's television program Ivor the Engine. (en)
sameAs	Idris (programming language) Idris (programming language)
dbp:wikiPageUsesTemplate	dbt:Infobox_programming_language dbt:Primary_sources dbt:Reflist dbt:Start_date_and_age dbt:URL dbt:Vague dbt:Programming_languages
Subject	2007 software Cross-platform free software Experimental programming languages Pattern matching programming languages Programming languages created in 2007 Software using the BSD license Free compilers and interpreters Free software programmed in Haskell Functional languages Haskell programming language family High-level programming languages Dependently typed languages
latest release date	2020-05-24 (xsd:date)
latest release version	1.3.3
foaf:name	Idris (en)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Idris_(programming_language)?oldid=1050140606&ns=0
Wikipage page ID	39035048 (xsd:integer)
page length (characters) of wiki page	10002 (xsd:nonNegativeInteger)
Wikipage revision ID	1050140606 (xsd:integer)
Link from a Wikipage to another Wikipage	Node.js Programming language Proof assistant "Hello, World!" program Agda (programming language) Array data structure BSD licenses Self-hosting (compilers) C (programming language) 2007 software Cross-platform free software Experimental programming languages Pattern matching programming languages Programming languages created in 2007 Software using the BSD license General-purpose programming language Generalized algebraic data type Free compilers and interpreters Free software programmed in Haskell Functional languages Haskell programming language family High-level programming languages Domain-specific language JavaScript Java virtual machine Cheney's algorithm Clean (programming language) Cross-platform software Purely functional programming Termination analysis Common Intermediate Language Compile time Coq Parametric polymorphism Partial function Epigram (programming language) Functional programming Garbage collection (computer science) Rust (programming language) Scheme (programming language) Dependent type F Sharp (programming language) Haskell (programming language) Infinite loop LLVM Type class Type signature Type system Subroutine Substructural type system Total functional programming Ivor the Engine Lazy evaluation Library (computing) ML (programming language) Recursive data type Side effect (computer science) Dependently typed languages dbr:Quantitative_type_theory dbr:Tactic_(computer_science)
influenced by	Agda (programming language) Clean (programming language) Coq

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software