我们为什么需要单子？

Question

以我的拙见，关于“什么是单子”这个著名问题的答案，尤其是投票最多的答案，试图解释什么是单子，而没有明确解释为什么单子是真正必要的。它们能被解释为一个问题的解决方案吗？

Answer 1

>

我们只想使用函数编程。（毕竟是“函数式编程(FP)”）。

那么，我们有了第一个大问题。这是一个程序：

f(x)=2*x

G(x,y)=x/y

解决方案：让我们创建一个要返回的新类型的数据，一个“装箱类型”，它可能包含一个真实的或简单的无。因此，我们可以有g:Real，real->也许Real。好吧，但是...

现在F(g(x，y))会发生什么？F尚未准备好使用可能是真正的。而且，我们不想改变我们可以与G连接的每个函数来使用可能是真实的。

解决方案：让我们有一个特殊的函数来“连接”/“组合”/“链接”函数。这样，我们就可以在幕后调整一个函数的输出，以满足下一个函数的需求。

使用该技术可以解决的显著问题有：

>

具有函数序列（“程序”）中的每个函数都可以共享的全局状态:solutionstatemonad。

我们不喜欢“不纯函数”：对于相同的输入产生不同输出的函数。因此，让我们标记这些函数，使它们返回一个标记/装箱的值:iomonad。