Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Epigram

< >

Epigram is an open source programming language created in 2004 by Conor McBride.

#1154on PLDB 20Years Old
Wikipedia

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...


Example from Wikipedia:
plus x y <= rec x { plus x y <= case x { plus zero y => y plus (suc x) y => suc (plus x y) } }

Language features

Feature Supported Example Token
Dependent types ✓
View source
- Build the next great programming language · Add · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll