Cat est un langage de programmation
fonctionnel orienté
pile, à
typage statique, inspiré par
Joy. Joy et Cat diffèrent cependant des autres langages fonctionnels de par leur approche de composition de fonctions plutôt que d'application de fonctions (comme en
Scheme ou
Haskell).