Haskell和调用函数。

Question

data S = Sa Int
type PMO = StateT Int (ErrorT String IO)

cs :: S -> PMO ()
cs _ = do
  mem <- get -- (*)
  return ()

我用（*）突出显示了该行。我怀疑为什么可以调用get函数。我知道get是来自State monad的函数，但是我无法看到/掌握如何知道实际存在这样的monad。我看到返回的类型是PMO，但它只是返回值。它与get有什么共同之处？

主要是，我有必要的语言编程经验，所以这让我很难理解它。

Answer 1

查看get的类型：

get :: MonadState s m => m s

因为在cs的类型签名中，您告诉编译器m是什么，get变为：

get :: StateT Int (ErrorT String IO) Int

这只是一个monadic值，而不是一个函数。那么名为mem的值来自何处？最终，get提供的值来自runStateT（或execStateT或evalStateT）提供的初始状态值。

如果这看起来仍然很神秘，我建议研究状态monad的工作原理。