ML possède aussi des monades : tout est une question de modules

La perception commune selon laquelle l'utilisation des monades en Haskell est une caractéristique unique du langage est remise en question. L'auteur soutient que les monades sont une question de conception de bibliothèque, et non de conception de langage, et peuvent être implémentées dans n'importe quel langage modulaire. L'article utilise ML pour démontrer comment les monades, y compris les monades Option et IO, peuvent être implémentées à l'aide de son système de modules. Tout en reconnaissant la capacité de ML à utiliser les monades, l'auteur suggère que leur omission par défaut découle de désavantages potentiels, tels que la difficulté à assurer la flexibilité du code et la transition entre les styles fonctionnels et monadiques.