Transferir como PDF, PPTX
Carregado porUlisses Costa
PDF, PPTX432 visualizações
Calculador Pointfree
1. O documento discute a representação abstrata do cálculo pointfree e como ele é análogo ao cálculo algébrico. 2. As expressões no cálculo pointfree são representadas como árvores onde os nós são operadores e as folhas são funções. 3. Regras como a definição de operadores como "swap" e propriedades como associatividade podem ser aplicadas às expressões para simplificá-las de forma análoga ao cálculo algébrico.
