Idris

GPTKB entity

Statements (32)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:category gptkb:programming_language
dependently typed languages
functional languages
gptkbp:designedBy gptkb:Edwin_Brady
gptkbp:firstAppearance 2011
https://www.w3.org/2000/01/rdf-schema#label Idris
gptkbp:implementedIn gptkb:Haskell
gptkbp:influenced gptkb:Idris_2
gptkbp:influencedBy gptkb:Agda
gptkb:Coq
gptkb:Haskell
gptkbp:latestReleaseVersion 1.3.4
gptkbp:license gptkb:BSD_3-Clause
gptkbp:paradigm dependently typed programming
functional programming
gptkbp:supports type inference
algebraic data types
pattern matching
compilation to C
compilation to Java
compilation to JavaScript
interactive editing
totality checking
gptkbp:typingDiscipline strong
static
dependent
gptkbp:website https://www.idris-lang.org/
gptkbp:bfsParent gptkb:deity
gptkb:list
gptkb:logic
gptkbp:bfsLayer 4