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).

Pour les articles homonymes, voir Cat.

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Cat
Date de première version	2006
Paradigme	multi-paradigme: langage de pile, fonctionnel
Auteur	Christopher Diggins
Développeurs	Christopher Diggins et al
Typage	statique
Influencé par	Joy, Factor
Licences	Domaine Public
Site web	www.cat-language.com
modifier

Cat est un langage polyvalent, plus particulièrement destiné à l'enseignement.

Exemples

Définition de la fonction carré :

define square { dup * }

Définition de la fonction factorielle, avec méta-commentaires (description et test unitaire) et signature de type :

define fact : (int -> int)
{{
  desc:
    A factorial function
  tests:
    in: 5 fact
    out: 120
}}
{
  eqz
  [pop 1]
  [dup dec fact mul_int]
  if
}

Liens externes

• Site Officiel
• Interpréteur en ligne

• Portail de la programmation informatique

На других языках

[ru] Cat (язык программирования)