OCaml: Programação funcional na prática

Programação funcional é um assunto cada vez mais frequente entre desenvolvedores.

Seja porque linguagens tradicionais como Java, C++ e C# ganham mais características funcionais a cada versão, seja porque muitas novas linguagens que têm surgido (Swift da Apple, Rust da Mozilla, Hack do Facebook) mostram uma forte influência da programação funcional, o fato é que a programação funcional, antes considerada restrita à academia, se torna cada vez mais parte do dia a dia dos desenvolvedores de todos os tipos e plataformas.

Além dos benefícios abstratos de aprender um novo paradigma de programação, aprender programação funcional também serve como preparação para se atualizar nas linguagens mais tradicionais e para aprender as novas linguagens que estão aparecendo.
Entre as linguagens funcionais, OCaml é uma ótima opção para começar no paradigma.

Programas escritos em OCaml são compilados para código rápido (próximo do desempenho de C e C++), mas a linguagem é expressiva e de alto nível, similar a linguagens como Python e Ruby.

O sistema de tipos da linguagem OCaml é muitas vezes citado como um bom exemplo de tipagem estática; é poderoso, permitindo expressar ideias e restrições complexas com tipos, mas, ao mesmo tempo, não obriga o programador a declarar os tipos das variáveis.

OCaml também inclui tipos de dados algébricos e pattern matching, duas características que, quem se acostuma a usar, passa a achar indispensáveis em qualquer linguagem.

Ele também possibilita o uso de características imperativas, facilitando a transição para quem não tem experiência prévia com programação funcional, reduzindo o tempo necessário para se tornar produtivo na linguagem.
Este livro tem como objetivo ensinar os fundamentos da programação funcional, e, ao mesmo tempo, tornar o leitor competente na linguagem OCaml, capacitando-o a ler a maior parte do código open source disponível na linguagem e a criar seus próprios projetos com ela.