Haggis je programovací jazyk určený pro psaní rozsáhlých a složitých softwarových systémů. Je založen na programovacím jazyce Haskell a obsahuje silný typový systém, porovnávání vzorů a efektivní garbage collector. Haggis se používá v řadě aplikací, včetně webových serverů, videoher a vědeckých výpočtů.