Epigram

Website: web.archive.org/web/20120717070845/www.e-pig.org/darcs/Pig09/web/

Proiectat de: Conor McBrideJames McKinna

Epigram este un limbaj de programare funcțional cu tipuri dependente, iar mediul de dezvoltare integrat (IDE) ambalat de obicei cu limbajul.

Sistemul de tip Epigram este suficient de puternic pentru a exprima specificațiile programului.

Scopul este de a susține o tranziție lină de la programarea obișnuită la programe și dovezi integrate a căror corectitudine poate fi verificată și certificată de către compilator.

Epigrama exploatează corespondența Curry -Howard, a denumit și propuneri ca principiu tipuri și se bazează pe teoria tipului intuiționist.

Prototipul Epigram a fost implementat de Conor McBride pe baza lucrărilor comune cu James McKinna.

Dezvoltarea sa este continuată de Epigram Group din Nottingham, Durham, St Andrews și Royal Holloway, Universitatea din Londra în Regatul Unit (Marea Britanie).

Implementarea experimentală actuală a sistemului Epigram este disponibilă în mod liber împreună cu un manual de utilizare, un tutorial și un material de fundal.

Sistemul a fost utilizat sub Linux, Windows și MacOS.

În prezent, este neinstruită, iar versiunea 2, care a fost destinată să implementeze teoria tipului observațional, nu a fost niciodată lansată oficial, ci există în Github.