也許monad什麼是正義？

Question

我一直在閱讀如何在C＃中實現monad。在更多類似Haskell的實現中，例如here中使用的類型使用稱爲Just的類型來包裝除「Nothing」之外的結果。這種類型只是一種便利嗎？我們不必在我們的代碼中隨處說出Maybe，或者它有其他一些我不理解的屬性？ Eric Lippert的implementation不使用稱爲Just的類型，而是例如返回Tainted<R>。

Answer 1

儘管在C＃中聲明瞭Just作爲一個類，但它在技術上不是一種類型。在Haskell的說法中，Just被稱爲數據構造函數;它會創建類型爲Maybe的數據。同樣，Nothing也是一個數據構造函數。

在Haskell中，Maybe被用作簡單的錯誤處理機制。 Just表示包裝的值是操作的結果，而Nothing表示某種錯誤。作爲一個基本的例子，Haskell有具有以下簽名（1）的函數：

lookup :: [(key, value)] -> key -> Maybe value 

此lookup函數接受的（鍵，值）對和密鑰列表並返回包裹在Maybe的值。如果密鑰存在，則關聯值將被包裝在Just中，否則返回Nothing。

（1）我故意遺漏了與本次討論無關的細節。

Tainted來自Eric Lippert的文章看起來像是Monad的另一個例子，但與monad完全不同。我不認爲它比單子模式的相似性更有用。