Haggis é uma linguagem de programação concebida para escrever sistemas de software grandes e complexos. Baseia-se na linguagem de programação Haskell e apresenta um sistema de tipo forte, correspondência de padrões, e um eficiente colector de lixo. Haggis é utilizado numa variedade de aplicações, incluindo servidores web, jogos de vídeo, e computação científica.