OTLP001 - Tópicos Especiais em Linguagens de Programação (README COPIADO DE bidinpithecus)
- Tipos de dados algébricos.
- Classes de tipos.
- Polimorfismo
- Functores(classes Functor e Applicative).
- Mônadas.
- Cálculo Lâmbda.
- Cálculo Lâmbda simplesmente tipado.
- Avaliação estrita e preguiçosa.