了解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，后者将其作为第一个参数。