Prefácio

Haskell é uma linguagem de programação que traz novas formas de se escrever programas corretos, eficientes e fáceis de manter. Com um modelo mental novo e uma caixa de ferramentas de programação extremamente moderna, essa linguagem pura e funcional nos dá insights valiosos para a construção de aplicações, mesmo quando precisamos deles em outras tecnologias, aplicados em outros contextos.

Este livro foi escrito como uma introdução à linguagem Haskell, para leitores já familiares com ao menos uma linguagem de programação imperativa e dispostos a dedicar tempo para entender o que a programação puramente funcional tem a nos oferecer. Interessante e divertida, a linguagem é única em ser funcional, pura, estaticamente tipada, com avaliação preguiçosa por padrão e com versões compiladas e interpretadas. 

Com a crescente necessidade da indústria em escrever software altamente concorrente e paralelo, e capaz de ser jogado na nuvem - software que precisa, sem grandes mudanças, suportar um ou N contextos de execução paralelos para escalar -, o modelo de programação sem o uso implícito de estado está em alta. Esse modelo, aqui tomando a forma de programação funcional ou declarativa, nos incentiva a modularizar as menores unidades possíveis da computação: funções.

Usando a composição de declarações do que uma computação é, em vez de sequências de instruções de como uma computação ocorre, quebramos problemas em partes mais determinísticas. Assim, em vários casos, ganhamos o suporte ao paralelismo e concorrência de graça.

Além disso, nossos programas são cada vez maiores e mais complexos, e o trabalho de manutenção de programas está maior e mais suscetível a falhas humanas. Por ser puro e estaticamente tipado, Haskell nos permite estabelecer garantias teóricas (a partir de provas e/ou modelos matemáticos expressos no código, propriedades de como expressões são avaliadas) e estáticas (a partir de mais metadados no seu rico sistema de tipos, programas "finais" sem casos não tratados).

Haskell é muito usado para a pesquisa em linguagens de programação e tem um dos sistemas de tipos mais avançados disponíveis. A promessa é a de entregar programas sólidos mais rápido ao mercado, mesmo que um primeiro protótipo demore mais a ser escrito.

O professor Alexandre convida-os a descobrir a sintaxe da linguagem Haskell, um pouco do ethos da programação funcional e alguns dos conceitos formais baseados na teoria das categorias que nos entregam essas garantias e possibilidades, permeando essa tecnologia. E ele faz isso com a iniciativa improvável e bemsucedida de dois anos de aulas na FATEC-RL, ensinando seus alunos a beleza e aplicação do paradigma puramente funcional e do Haskell. 

Este livro é um primeiro pé em um longo caminho, no qual eu ainda tenho muito a percorrer; uma nova empreitada na literatura de linguagens de programação brasileira que espero ser tão útil para vocês quanto é animadora para mim.

 

INTRODUÇÃO

Este livro destina-se a alunos interessados em aprender sobre este paradigma que vem sendo adotado pelo mercado cada vez mais. Eu geralmente não recomendo um curso específico como prérequisito, porém um semestre de lógica de programação e estruturas de dados não machucam, e servem para entender um ou dois exemplos do livro. Um aluno que tem facilidade com matemática e que tenha paixão pelo assunto consegue seguir o livro sem ter feito um curso formal nos assuntos indicados também.

O livro constrói o conhecimento na linguagem Haskell, começando do zero, desde a sua instalação até o conceito de Mônadas que é o ponto alto do livro. Ele possui nove capítulos mais apêndice e referências, e foi escrito com base nas notas de aula do meu curso de Programação Funcional, na Faculdade de Tecnologia da Baixada Santista Rubens Lara (FATEC-RL). Depois de quase dois anos ministrando esta disciplina e notado a dificuldade dos alunos de achar material em nossa língua mãe, eis que surgiu a ideia do presente trabalho.

O primeiro capítulo aborda questões gerais da linguagem e do paradigma. No segundo, vemos a instalação do ambiente, alguns exemplos preliminares, manipulação de listas e tuplas. No terceiro, introduzimos os tipos (um dos maiores pontos fortes da linguagem) e suas manipulações.

Já no quarto, vemos como a linguagem trata as funções através dos conceitos de lambdas, currying e funções de alta ordem. No quinto, alavancamos o poder dos tipos usando o conceito de polimorfismo paramétrico, classes de tipos e vemos um exemplo muito especial: os monoides.

No sexto, há uma breve introdução informal sobre Teoria das Categorias. O sétimo explora os funtores, um dos conceitos-chave para o entendimento do assunto a ser abordado no oitavo capítulo: as mônadas. Finalmente, no último capítulo, são dados vários exemplos práticos de mônadas através do IO , que é a representação da computação com efeitos aqui no Haskell. Confira ainda o apêndice com todo o código do miniprojeto e referências para seguir seus estudos.