لغة البرمجة Epigram هي لغة برمجة وظيفية تتميز بأنظمة أنواع معتمدة. تشير كذلك كلمة Epigram إلى بيئة التطوير المتكاملة (IDE) التي عادة ما تكون معبأة مع اللغة. تتميز نظام الأنواع في Epigram بالقوة الكافية للتعبير عن مواصفات البرامج. الهدف منها هو دعم الانتقال السلس من البرمجة العادية إلى البرامج المتكاملة والأدلة التي يمكن التحقق من صحتها وتوثيقها من قبل المترجم. تستغل Epigram مبدأ العبارات كأنواع، وتعتمد على نظرية الأنواع التكنولوجيا النقدية. تم تنفيذ النموذج التجريبي لـ Epigram من قبل Conor McBride بناءً على عمل مشترك مع James McKinna. تتابع فرق Epigram التطوير في جامعات Nottingham وDurham وSt Andrews وRoyal Holloway في المملكة المتحدة. النسخة التجريبية الحالية لنظام Epigram متاحة بحرية مع دليل مستخدم ودورة تعليمية وبعض المواد الأساسية. تم استخدام النظام تحت Linux وWindows وMac OS X. حالياً، لا يتم صيانته، ولم يتم إصدار الإصدار 2 رسمياً، ومع ذلك يوجد مرآة على GitHub، تم تحديثها في العام 2012. تصميم Epigram وEpigram 2 قد ألهم تطوير أنظمة أخرى مثل Agda وIdris وCoq.
تستند Epigram إلى فكرة العبارات كأنواع، مما يعني أنها تسمح بتعبير الشروط والأدلة داخل النظام نفسه. يمكن لهذا النوع من اللغة أن يكون قويًا للغاية في التحقق من صحة البرامج، حيث يمكن أن يتم التأكد من صحة البرامج بشكل تلقائي من خلال النظام الذي يحتوي على معلومات النوع.
من الملاحظ أن Epigram لم يتم صيانته حاليًا، ولكن تأثيره على تطوير لغات أخرى مثل Agda وIdris وCoq يظل ملحوظًا، حيث أنها استلت مبادئ وأفكار من Epigram في تصميمها وتطويرها.