haskell State Monad put 使用 modify 表示

Question

我需要使用 modify 函数来表达 State Monad 的 put，但是我得到一个“无法推断”我的以下代码出错：

class Monad m => MonadState m s | m -> s where
    get :: m s
    get = modify (\s -> s)

    put :: s -> m ()
    put = modify $ const ()

    modify :: (s -> s) -> m s
    modify f = undefined  --do { x <- get; put (f x) }

(*我还没有定义修改，因为我在它旁边的评论中的实现也返回了类似的错误，但是在预期的返回类型 m s 而不是实际的返回类型 m ( ))

我得到的确切错误是：

Could not deduce (MonadState m ()) arising from a use of 'modify'
from context (MonadState m s)
  bound by the class declaration for 'MonadState'
  at <..>
Possible fix: add an instance declaration for (MonadState m ())
In the expression: modify
In the expression: modify $ const ()
In an equation for 'put': put = modify const ()

但是我不确定这个错误试图告诉我什么以及我在这里做错了什么。如果有人可以帮助我，将不胜感激！

最好的问候， Skyfe。

Answer 1

const () 所做的就是将当前状态从任何状态转换为 ()。由于您希望它适用于所有状态，因此这将不起作用，因为这意味着它将状态类型从 s 更改为 ()。它也不会完全按照您的意愿去做。您可以使用const 函数，但最好不要先编写它。我建议让它变得有意义并使用明确的 lambda：

put :: s -> m ()
put newState = modify (\currentState -> ???)

附带说明，您评论的modify 实现将不起作用，您真的需要

modify f = do
    x <- get
    let newX = f x
    put x
    return x

但是，我建议将modify 排除在类定义之外，就像mtl 所做的那样，因为只实现get 和put 确实更可取。这有助于防止循环定义。