haskell - 使用绑定(bind)在 haskell 中调用自定义 monad

Question

我目前正在“接触 monads”(http://learnyouahaskell.com/a-fistful-of-monads#getting-our-feet-wet-with-maybe)并且仍在为这个概念的一部分而苦苦挣扎。我理解那里提到的 maybe monad 并且可以看到如何调用它，如下所述:

ghci> return "WHAT" :: Maybe String  
Just "WHAT"  
ghci> Just 9 >>= \x -> return (x*10)  
Just 90  
ghci> Nothing >>= \x -> return (x*10)  
Nothing  

如果我用自己的类型声明自己的实例，那么我如何调用自己的 monad 实例而不是 maybe 实例，如下所示:

newtype CustomM a = CustomM {runCustomM:: a -> String}


instance Monad CustomM where
  return a = CustomM (\a -> mempty)
  m >>= f = CustomM (\a -> mempty)


instance Functor CustomM where 
  fmap = liftM 
instance Applicative CustomM where 
  pure = return; (<*>) = ap

使用 return 只会调用 Maybe Monad 我怀疑。 >>= 需要我给它一个特定的类型。

注意。我只是以与返回相同的方式进行绑定(bind)，因为我仍然在努力理解它应该返回什么，以及如何给它一个 monad m 并在它的值上调用函数 f a，当我没有在左侧更彻底地指定打包类型时。但我会就此发表另一篇文章。

Answer 1

您可以像使用 Maybe 一样创建您的 CustomM 类型的值，使用 return:

cm = return "WHAT" :: CustomM String

你也可以在时尚之后运行它:

Prelude Control.Monad> runCustomM cm "foo"
""

显然，由于您已将其硬编码为返回 mempty，因此它返回 String 的 mempty 值，即“”。

尽管如此，a -> String 是 contravariant在 a 中，所以它不是有用的 Functor 实例。因为它不是一个有用的 Functor 实例，所以它也不是一个有用的 Monad 实例。

虽然您可以像在 OP 中那样定义一个退化的实现，但您不会成功地让 CustomM 真正做任何事情。

请尝试交换类型，例如字符串 -> a。