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 and language formalisms 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 than to the lambda calculus due to the lack of names.
| Property | Value |
| dbpedia-owl:thumbnail
| |
| dbpprop:abstract
|
- 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 and language formalisms 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 than to the lambda calculus due to the lack of names. The Cat language was designed with static typing in mind, and as such there is somewhat less flexibility but more safety than is available in the Joy programming language. Cat is intended as a multi-purpose language with an emphasis on usage as an intermediate language and as an educational language.
- 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. Cat est un langage polyvalent, plus particulièrement destiné à l'enseignement.
- 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.
|
| dbpprop:designer
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:implementations
| |
| dbpprop:influencedBy
| |
| dbpprop:latestReleaseVersion
| |
| dbpprop:license
| |
| dbpprop:logo
| |
| dbpprop:name
| |
| dbpprop:paradigm
| |
| dbpprop:reference
| |
| dbpprop:typing
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| dbpprop:year
| |
| rdfs:comment
|
- 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 and language formalisms 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 than to the lambda calculus due to the lack of names.
- 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. Cat est un langage polyvalent, plus particulièrement destiné à l'enseignement.
- 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.
|
| rdfs:label
|
- Cat (programming language)
- Cat (langage)
- Cat (linguagem de programação)
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:depiction
| |
| foaf:page
| |
| is dbpprop:influenced
of | |
| is dbpprop:influencedBy
of | |
| is dbpprop:redirect
of | |