Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Idris · Vinony

EntityQ15408477· pop 11· linked from 110 articles

Idris

Sign in to save

purely functional programming language

Connections

programming language

proof assistant

operating system

Categories

2007 software Cross-platform free software Dependently typed languages Experimental programming languages Free and open source compilers Free software programmed in Haskell Functional languages Haskell programming language family High-level programming languages Pattern matching programming languages Programming languages created in 2007 Software using the BSD license

Sources

wikipedia.externallinksexternallink

Statically typed programming languages

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

functional programming language

Entitydist 0.30

Entitydist 0.31

very high-level programming language

Entitydist 0.34

Entitydist 0.36

Entitydist 0.37

Entitydist 0.37

Entitydist 0.37

Entitydist 0.42

function composition

Entitydist 0.42

Entitydist 0.42

Entitydist 0.42

Entitydist 0.43

What links here110 pages

program analysis

proof assistant

history of software

static program analysis

intuitionistic type theory

first-class citizen

Simon Peyton Jones