如何解决了解bind在free monad中的使用
我正在尝试了解自由 monad 的工作方式。
在此期间,我进入了 Free
的 monad 实例,即:
data Free f a = Pure a | Free (f (Free f a))
instance (Functor f) => Monad (Free f) where
return = Pure
Pure a >>= k = k a
Free m >>= k = Free ((>>= k) <$> m)
知道了
-- k :: a -> Free f b
-- m :: f (Free f a)
-- fmap :: Functor f => (a -> b) -> f a -> f b
-- (>>=) :: Free f a -> (a -> Free f b) -> Free f b
我不明白这是如何工作的
Free ((>>= k) <$> m)
首先,>>= k
怎么可能? k
是一个函数,而 >>=
的第一个参数不是。这就像它绕过第一个参数并将 k
作为第二个离开 Free f a -> Free f b
谁能帮助我更好地理解这一点?谢谢!
解决方法
我不知道这个 Free
到底是什么,但我们都知道
(>>= k) <$> m == fmap (>>= k) m
所以如果 m == f sth
,那么
fmap (>>= k) m == f ((>>= k) sth) == f (sth >>= k)
所以一切似乎都进行了类型检查。
正如评论中所建议的,您可能唯一错过的想法是 (.op. y)
将 y
作为第二个参数传递给 .op.
,而不像 (.op.) y
,后者将其作为第一个参数。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。