在Haskell学习函子,应用函子和monad,我在维基百科上找到了这个定义:
在函数编程,具体Haskell中,一个适用函子是像一个的结构单子(return,fmap,join),而不join,或类似的一个函子带return.
我无法理解:在我看来,提供return(即pure)一个仿函数不足以获得一个应用仿函数,因为你也需要提供ap(即<*>),这不能用fmap和return仅用来定义.我错过了什么或维基百科的定义不完全正确吗？
编辑2017-02-08:我在这个答案中找到了关于这个问题的其他有用的见解.