问monad是否保证有一种获得“未包装”类型的方法？

EN

不，这不是Monad定义的属性之一。Haskell Monad页面清楚地解释说，您不能直接从M a中获取一个a。引语是，一旦您从T转到了M<T>，您总是需要使用M<T>，因此使用了起重。

正如亚伦已经说过的，答案是否定的。在我看来，最简单的例子就是经常被称为Maybe monad或Option的例子，您不能总是从单曲中“回来”。您可以在这里看到C#中的实现：https://mikhail.io/2016/01/monads-explained-in-csharp/

我不太了解C#，所以我将避免编写代码，并尝试用文字来解释它。

要对可能失败的计算进行建模，我们可以使用一个数据类型，它要么是值，要么是空值(想想null的替代方案)。要求该数据类型为单一类型的要求如下：

• 如果我们有一个永不失败的计算，返回B类型的东西，那么我们就可以得到一个返回Maybe<B>的等量计算。这是return构造函数，它简单地将值包装在Maybe中。
• 我们可以组合可能失败的计算。多么?如果第一次失败了，一切都会失败。如果没有，则将返回的值传递给下一个函数。这就是绑定的行为。
• 我们还需要一些有效的法律，但为了简单起见，让我们忘掉它吧。

考虑一下我们组成两个可能会失败的函数的情况。我们总能得到价值吗？嗯，不总是这样。当这两个函数都没有失败时，我们得到一个值。

我现在试着用代码来解释它。当我错的时候你可以纠正我。因此，假设我们有一个maybeValue类型的A值

Maybe<A> maybeValue = ...;

我们有一个函数foo，它接受A类型的值。

Maybe<B> foo(A a) {...}

我们想把maybeValue传给foo。Monad允许您这样做，而无需检查maybeValue是否有值。你这样做吧：

Maybe<B> result = maybeValue.bind(foo)

再说一遍:我可以总是把result转换成B类型的东西吗？我是说，result总是包含一个值吗？嗯，不是。只有当maybeValue和foo都成功的时候。