Efeitos de primeira classe em programação funcional

Resumo:

Efeitos colaterais em programação funcional são quaisquer ações que uma função realize que não sejam explicitamente um parâmetro de entrada ou o resultado retornado, tais como operações de I/O, erros e exceções, etc. Efeitos são tudo o que mais interessa em computação, e a programação funcional tem evoluído para representá-los e tratá-los distintamente como "cidadãos de primeira classe" nas linguagens. Um benefício observável dessa tendência é favorecer a composição de funções que geram efeitos, mas essa não é uma estratégia sem obstáculos. Os entusiastas dessa abordagem relatam maior produtividade e facilidade de manutenção no desenvolvimento de software. Essa apresentação repassa ideias básicas sobre efeitos colaterais e sistemas de tipos, buscando apresentar alguns "pulos do gato" para a compreensão.