Programação Funcional Pura com Aplicações