Haggis est un langage de programmation conçu pour écrire des systèmes logiciels complexes et de grande taille. Il est basé sur le langage de programmation Haskell et dispose d'un système de types puissant, d'un système de correspondance des motifs et d'un collecteur de déchets efficace. Haggis est utilisé dans de nombreuses applications, notamment les serveurs Web, les jeux vidéo et le calcul scientifique.