ML hat auch Monaden: Es kommt auf die Module an

Die verbreitete Annahme, dass die Verwendung von Monaden in Haskell ein einzigartiges Sprachmerkmal ist, wird in Frage gestellt. Der Autor argumentiert, dass Monaden eine Frage des Bibliotheksdesigns sind, nicht des Sprachdesigns, und in jeder modularen Sprache implementiert werden können. Der Artikel verwendet ML, um zu demonstrieren, wie Monaden, einschließlich der Option- und IO-Monaden, mithilfe ihres Modulsystems implementiert werden können. Obwohl die Fähigkeit von ML zur Verwendung von Monaden anerkannt wird, deutet der Autor darauf hin, dass deren standardmäßige Auslassung auf potenzielle Nachteile zurückzuführen ist, wie z. B. die erschwerte Flexibilität des Codes und der Übergang zwischen funktionalem und monadischem Stil.