Haggis es un lenguaje de programación diseñado para escribir sistemas de software grandes y complejos. Se basa en el lenguaje de programación Haskell y cuenta con un potente sistema de tipos, concordancia de patrones y un eficaz recolector de basura. Haggis se utiliza en diversas aplicaciones, como servidores web, videojuegos y computación científica.