Há oito anos, o Giovanni Bassi falou sobre inferência de tipos em F#. O exemplo que ele deu envolvia a soma dos quadrados dado um array. Como o objetivo era mostrar como funcionava a inferência de tipos, a abordagem imperativa foi suficiente. Mas ele fez uma nota ao final do artigo: (…) eu só queria…

Vou listar alguns motivos que me fizeram escolher F# como a linguagem de entrada para o mundo funcional. O objetivo não é explicar funcionalidades ou teorias nesse momento, mas apresentar alguns conceitos chaves e vantagens que o F# traz para o desenvolvimento.