Ementa/Descrição: |
Conceitos de programação funcional, introdução ao lambda calculus, o modelo de computação de programação funcional, tipos de dados, recursão, programação de ordem superior, avaliação preguiçosa, dados infinitos, I/O, classes de tipos, monads, raciocinando sobre programas, indução, parsing, programação paralela e concorrente, programação com tipos dependentes. |