Epigram
Epigram is a programming language created in 2004. Epigram is a functional programming language with dependent types. Epigram also refers to the IDE usually packaged with the language. Epigram's type system is strong enough to express program specifications. Read more on Wikipedia...
| 16Years Old | 20Users | ?Jobs |
- Epigram ranks in the top 25% of languages
- the Epigram wikipedia page
- Epigram first appeared in 2004
- See also: linux, agda, idris, coq, haskell, dependent-ml
- Have a question about Epigram not answered here? Email me and let me know how I can help.
Example code from Wikipedia:
plus x y <= rec x {
plus x y <= case x {
plus zero y => y
plus (suc x) y => suc (plus x y)
}
}
Last updated August 9th, 2020