Language
Epigram
Functional programming language with dependent types
Facts
- Appeared
- 2004
- Type system
- static typing, dependent typing, strong typing
- Languages it influenced
- 2
- First release
- 2004
- Kind
- dependently typed programming language
- Paradigms
- functional programming
- Designed by
- Conor McBride
Sources: Wikidata (CC0) · Wikidata Q5382927
Influenced · 2
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| Agda | 2007 | purely functional programming | manifest typing, static typing, nominative typing, dependent typing, inference typing, strong typing | 1 |
| Idris | 2007 | total functional programming, functional programming, purely functional programming | static typing, dependent typing, linear typing, uniqueness typing | — |