Ementa

    No curso de Linguagem de Programação 2, estudaremos o paradigma de programação funcional. A ementa da disciplina é:

• Introdução a conjuntos e lógica;
• Expressões e valores, funções, tipos;
• Definições por casamento de padrão;
• Abstração funcional(polimorfismo e funções de alta ordem);
• Avaliação de expressões/redução/conversão(lazy, eager);
• Programação com listas;
• Programação com tipos concretos (tipos algébricos);
• Indução, invariantes e provas.