Linguagem funcional Cat
3120 palavras
13 páginas
Linguagem Funcional CatMossoró
2015
Linguagem Funcional Cat
Mossoró
2015
RESUMO
A linguagem Cat foi criada em 2006 por Chrispher Diggins. É educacional, sendo projetada para ser tipada estaticamente. Por consequência, é menos flexível que a linguagem Joy, porém é mais segura.
Cat é uma linguagem de programação funcional, orientada a pilha, e foi inspirada na linguagem Joy. A especificação da linguagem está sob domínio público (livre uso comercial), mas sua implementação oficial primária está sob licença MIT (é uma licença não copyleft usada em software livre), e foi escrita em C#. Há uma segunda implementação oficial, escrita em JavaScript que também está sob domínio público. Há diversas outras implementações, escritas em outras linguagens. Joy e Cat diferem da maioria das linguagens funcionais, como Scheme e Haskell, e linguagens formais como o
Cálculo Lambda, uma vez que elas se baseiam na composição de funções e não na aplicação de funções.
SUMÁRIO
1 – Introdução a programação funcional ...........................................................01
1.1 Linguagem baseada em pilha ...........................................................................01
1.2 Cat como linguagem de ensino.........................................................................02
1.3 Teste unitário em Cat .......................................................................................03
1.4 Página oficial ...................................................................................................03
2 – A programação Cat ........................................................................................04
2.1 Manipulando a pilha ........................................................................................04
2.2 Definindo novas instruções...............................................................................05
2.3 Assinatura de tipo