在我的第一个analysis我会回答是，但我找不到任何明确说明这一事实的引用资料。
最佳答案
以下链接可以说是您的主张的证据:
可以说这与 Monad 无关，因为一等函数是具体化的计算。在这种情况下，由于绑定(bind)的性质，任何给定的 monad 只是使用第一类函数的特殊情况。要了解我的出发点，请考虑 lambda 演算的函数。从某种意义上说，lambda 演算的所有函数都是具体化计算，因为它们是语言的重要部分，并且可以按照您认为合适的任何方式进行操作。函数是计算，因此可以作为参数传递的函数是具体化计算。
关于haskell - 单子(monad)可以被视为计算(或计算过程)的具体化吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5025354/