Aprendendo mais sobre Composição

Há pouco tempo escrevi um blog sobre linguagens dinâmicas que falava sobre a tendência a incorporar funções como cidadãos de primeira ordem numa linguagem.

Linguagens funcionais fazem isto há muitos anos, mas nem sempre fica claro o porquê desta escolha. A história das linguagens funcionais passa pelo alto grau de abstração e poder de composição que as funções têm.

Para quem quer entender mais sobre isto e o como é possível construir com correção uma biblioteca como o LinQ, sugiro que assista com atenção a aula que o Brian Beckman dá no Channel9. Se puder, leia e também participe dos comentários nesta página.

Composicionabilidade (me perdoem a palavra que não existe) é um objetivo da programação e arquitetura. Seja com SCA, BPEL ou PI-Calculus, a computação procura a composição para construir sistemas complexos a partir de outros mais simples. Beckman fala da matemática contida nisto (Monoids, Monadas e Categorias) de uma forma simples e indolor.

Imperdível.