math is hard, let’s go shopping!

Sobre

Meu nome é Andrei de Araújo Formiga e sou professor do Centro de Informática da Universidade Federal da Paraíba. Meus interesses são principalmente em teoria da computação, lógica, algoritmos e linguagens de programação, mas também incluem muitas outras coisas.

Tenho defendido a programação funcional há algum tempo (antes de virar moda :) ), desde que descobri, na prática, os benefícios do paradigma. Finalmente, em 2015 reuni algumas das minhas experiências e publiquei um livro sobre a linguagem funcional OCaml. O livro se chama OCaml: Programação Funcional na Prática e está disponível pela editora Casa do Código.