Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary

Epigram

Epigram is a programming language designed to support higher-order grammar over user-defined data types. It features dependent types and first-class abstract syntax with pattern matching. Epigram was originally created in 2000 by Conor McBride at the University of Nottingham as part of the larger project to develop dependently typed functional languages. The language attracted attention due to its original approach towards integrating formal aspects of computing, such as mathematical proofs and program verification techniques. Over time, the concepts that Epigram pioneered have influenced modern dependently-typed languages like Agda and Idris.

Back
Hire Epigram Experts

Enter your email to get started.