Apresenta funções puras, imutabilidade, funções de alta ordem, recursão e composição. Exercícios com coleções e concorrência mostram as vantagens e os limites desse paradigma.
