English Wikipedia - The Free Encycl...
Download this dictionary
Epigram (programming language)
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
. The goal is to support a smooth transition from ordinary programming to integrated programs and proofs whose correctness can be checked and certified by the
compiler
. Epigram exploits the
propositions as types principle
, and is based on
intuitionistic type theory
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License