Disciplina cursada no semestre 2021.1
#1 Pesquisar sobre as principais características das linguagens funcionais, fazer um resumo sobre o que você achou mais interessante.
As linguagens funcionais foram fortemente inspiradas no Lambda Calculus, que basicamente é sobre como avaliar e definir funções, nós temos definido a seguinte notação λa.a onde λ significa a definição de uma função anónima que recebe um único parâmetro a e retorna ele mesmo, isso é chamado de abstração lambda, essa notação por exemplo é uma função identidade. Tudo é feito a partir de constantes e de definições de funções, existem varias combinações de funções livres de variáveis.
| Sym. Bird | λ-Calculus | Use |
|---|---|---|
| I Idiot | λa.a |
Identity |
| M MockingBird | λf.ff |
Self-Application |
| K Kestrel | λab.a |
First |
| KI Kite | λab.b = KI = CK |
Second |
| C Cardinal | λfab.fba |
Reverse Arguments |
| B Bluebird | λfga.f(ga) |
1 ← 1 Composition |
| Tₕ Thush | λaf.fa = CI |
Hold an Argument |
| V Vireo | λabf.fab = BCT |
Hold a Pair of Arguments |
| B Blackbird | λfgab.f(gab) = BBB |
1 ← 2 Composition |
| Sym. | Name | λ-Calculus | Use |
|---|---|---|---|
| T | True | λab.a |
Encoding for True |
| F | False | λab.b |
Encoding for False |
| -- | Not | λp.pFT |
Negation |
| -- | And | λpq.pqF or λpq.pqp |
Conjunction |
| -- | Or | λpq.pTq or λpq.ppq |
Disjunction |
| -- | BEQ | λpq.pq(NOT q) |
Equality |
Tabelas foram mostradas no video Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
#2 Assista ao vídeo sobre introdução ao cálculo lambda, faça o código junto com o vídeo.
Resposta
#3 Faça as questões das categorias 03 e 04 do site: https://github.com/senapk/funcional_arcade
Respostas
#4 Faça as questões das categorias 05 do site: https://github.com/senapk/funcional_arcade
Repostas
#5 Faça as questões dos capítulos 6 a 9.
Respostas
#7 Ler o funcionamento das funções do @502 e fazer os códigos da atividade @076 do arcade. https://github.com/senapk/funcional_arcade#12-infinite-lists
Respostas
#8 ler o capítulo 10 do site do tailorfontela e fazer a adaptação do projeto https://github.com/qxcodepoo/arcade/blob/master/base/002/Readme.md de poo para haskell.
Respostas
#9 armário para fazer agora no horário da aula.
Respostas