ML também tem Monads: Tudo se resume a módulos
2025-06-24
A percepção comum de que o uso de monads em Haskell é um recurso exclusivo da linguagem é questionada. O autor argumenta que monads são uma questão de design de biblioteca, não de design de linguagem, e podem ser alcançadas em qualquer linguagem modular. O artigo usa ML para demonstrar como monads, incluindo os monads Option e IO, podem ser implementados usando seu sistema de módulos. Embora reconhecendo a capacidade de ML para monads, o autor sugere que sua omissão padrão decorre de potenciais desvantagens, como dificultar a flexibilidade do código e a transição entre estilos funcionais e monádicos.
Leia mais
Desenvolvimento
Módulos