| Information | |
|---|---|
| has gloss | eng: The Cat programming language is a functional stack-oriented programming language inspired by the Joy programming language. Joy and Cat differ from most functional languages (e.g. Scheme, Haskell) and language formalisms (e.g. lambda calculus, combinatory logic) in that they are based on the composition of functions rather than function application. Cat and Joy both bear more resemblance to combinatorial logic calculi (such as the SKI calculus or the B,C,K,W system) than to the lambda calculus due to the lack of names. |
| lexicalization | eng: Cat programming language |
| lexicalization | eng: Cat |
| instance of | (noun) (computer science) a language designed for programming computers programing language, programming language |
| Meaning | |
|---|---|
| French | |
| has gloss | fra: 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). |
| lexicalization | fra: Cat |
| Portuguese | |
| has gloss | por: Cat é uma linguagem de programação funcional, orientada a pilha, inspirada na linguagem Joy. A especificação da linguagem está sob domínio público, mas sua implementação oficial primária está sob a licença MIT, e foi escrita em C#. Há uma segunda implementação oficial, escrita em JavaScript e está sob domínio público. Há diversas outras implementações, escritas em outras linguagens. |
| lexicalization | por: Cat |
| Media | |
|---|---|
| media:img | Cat-logo-160-b.jpg |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint