haskell - 'State' 的数据构造函数在哪里？

Question

在阅读了一些关于 Haskell 状态 monad 的教程后，我想自己尝试一下。我读过的教程声称 Control.Monad.State 提供以下定义:

newtype State s a = State { runState :: s -> (a,s) }  

但是，我似乎找不到 State 数据构造函数:

Prelude> import Control.Monad.State
Prelude Control.Monad.State> :t State

<interactive>:1:1:
    Not in scope: data constructor `State'
    Perhaps you meant `StateT' (imported from Control.Monad.State)

我还尝试了 Hoogle 搜索 State 但没有找到任何具有预期类型的​​数据构造函数。

State 构造函数去了哪里？它曾经存在过吗？或者我只是找错地方了？本质上我想知道我需要做什么来创建一个状态单子(monad)。

Answer 1

它已经不存在了。不幸的是，这使得网络上许多关于它的 Haskell 资源都过时了。

要创建一个值，您只需使用 state功能:

state :: (s -> (a, s)) -> State s a

runState，以前是State的一个字段，现在只是一个普通的函数本身，但它的工作方式和以前一样。

State 已根据 StateT monad 转换器重写:

type State s = StateT s Identity

StateT 本身有一个构造函数 StateT，其功能与旧的 State 构造函数非常相似:

newtype StateT s m a = StateT { runStateT :: s -> m (a, s) }

唯一的区别是多了一个参数m。这只是一个插槽，您可以在其中添加任何其他 monad，然后 StateT 会扩展状态处理功能。当然，要恢复 State 的旧功能，您只需将 m 设置为 Identity，这不会执行任何操作。

newtype Identity a = Identity { runIdentity :: a }