Monad"拆箱"

Question

我的问题是在遵循图片中的函数、应用程序和单子教程及其JavaScript版本时提出的。

当文本说functor从上下文中展开值时，我理解a只有5个-

我的问题是，整件拆开包装的事情有什么神奇之处？我的意思是，有一些自动打开“范围”变量的语言规则有什么问题？在我看来，这个操作只是某种表中的一个查找，其中符号Just 5对应于整数5。

我的问题受到JavaScript版本的启发，其中Just 5是原型数组实例。所以展开确实不是火箭科学。

这是“为了计算”的原因还是“为了程序员”的原因？为什么我们要在编程语言级别上区分5和5？

Answer 1

匿名用户

一个可能的例子是：考虑Haskell类型也许（也许是Int）。它的值可以是以下形式

• 什么都没有
• 什么都没有
• Just（Just n）对于某个整数n

如果没有包装，我们就无法区分前两个。

实际上，可选类型可能是a的全部要点是向现有类型a添加一个新值（Nothing）。为了确保这样的Nothing确实是一个新值，我们将其他值包装在Just中。

它也有助于类型推断。当我们看到函数调用f'a'时，我们可以看到f是在类型Char处调用的，而不是在类型Maybe Char或Maybe（Maybe Char）处调用的。typeclass系统允许f在每种情况下都有不同的实现（这类似于某些OOP语言中的“重载”）。

Answer 2

我认为你从错误的方向看这个。Monad明确地不是关于展开。Monad是关于组合的。

它允许您组合（不一定应用）a类型的函数-

考虑一下可能。当起始值为Nothing时，不可能将类型的值a展开为a类型的值。一元构图必须做一些比拆开包装更有趣的事情。

考虑一下[]。除非输入恰好是长度为1的列表，否则不可能将[a]类型的值展开为a类型的值。在其他任何情况下，一元构图都比拆开包装更有趣。

考虑一下IO。像getLine:：IO String这样的值不包含String值。这显然是不可能打开的，因为它没有包装什么东西。IO值的一元组合不会打开任何东西。它将IO值组合成更复杂的IO值。

我认为值得调整您对Monad含义的看法。如果它只是一个展开界面，它将非常无用。不过，它更微妙。这是一个组合界面。

Answer 3

首先，我认为如果不了解像Haskell这样的类型系统（即不学习像Haskell这样的语言），你就无法理解Monads之类的东西。是的，有很多教程声称并非如此，但我在学习Haskell之前已经阅读了很多，但我没有得到它。所以我的建议：如果你想了解Monads，至少学习一些Haskell。

对于您的问题“为什么我们要在编程语言级别上区分5和5？”。为了类型安全。在大多数碰巧不是Haskell的语言中，null，nil，无论什么，都经常用来表示没有值。然而，这通常会导致出现NullPointerExceptions，因为您没有预料到值可能不存在。

在Haskell中没有null。因此，如果您有一个类型为Int的值，或者其他任何值，那么该值不能是null。你被保证有价值。太棒了但有时你真的想要/需要对缺少值的情况进行编码。在Haskell中，我们使用也许。所以类型的东西可能是Int或者是只有5个或者什么都没有。通过这种方式，可以明确表示该值可能不存在，并且您不能意外地忘记它可能是Nothing，因为您必须明确地展开该值。

这实际上与Monad无关，除了也许碰巧实现了Monad类型类（如果您熟悉Java，类型类有点像Java接口）。那就是也许主要不是Monad，但恰好也是Monad。