wikibooks中的Haskell State示例：修复当前的Haskell？

Question

原来的问题

最新版本的Haskell（> 7.4.2？）附带一个mtl包，它不再提供State构造函数本身，而是提供状态函数。

这在wikibooks页面中弄乱了State的例子： http ： //en.wikibooks.org/wiki/Haskell/Understanding_monads/State

有人可以在标题“引入状态”之后显示如何修改示例吗？ 这是rollDie和rollDice的小函数。

在页面的前面有一个注释框，标题为“State Monad的定义”，它总体上描述了该怎么做，但对我来说太模糊了。

此外，我不太清楚进口和包的工作原理，因此对这个例子至关重要的可能相关的事情可能是指定需要哪些进口，因为它们也可能已经改变。

谢谢！

源代码

------- Adding code for ghci01.hs-------

-- http://en.wikibooks.org/wiki/Haskell/Understanding_monads/State
-- Introducing State heading and below

import Control.Monad
import System.Random

type GeneratorState = State StdGen

rollDie :: GeneratorState Int
rollDie = do generator <- get
             let (value, newGenerator) = randomR (1,6) generator
             put newGenerator
             return value

-- Test rollDie
-- evalState rollDie (mkStdGen 0)

rollDice :: GeneratorState (Int, Int)
rollDice = liftM2 (,) rollDie rollDie

-- Test rollDice
-- evalState rollDice (mkStdGen 666)

------- In GHCi --------
ghci> :l dice01.hs
[1 of 1] Compiling Main             ( dice01.hs, interpreted )
dice01.hs:7:23: Not in scope: type constructor or class `State'
dice01.hs:10:27: Not in scope: `get'
dice01.hs:12:14: Not in scope: `put'
Failed, modules loaded: none.

附录

对于在这里偶然发现的其他人：

这个问题的主题围绕非工作示例代码，以及上面引用的wikibooks页面上的注释框中的警告。 该框表示对于MTL版本> 2.0.0.0，由于Control.Monad.State中的更改，某些示例代码将无法工作。

我的测试涉及Haskell Platform 2012.4.0.0，其中包括GHC 7.4.2，以及基于mtl.cabal文件我后来发现为1.1.1.1的MTL。 因此，Note的警告不应该适用，但是没有注意，示例代码不起作用。 此处答案建议的更改（将Control.Monad导入Control.Monad.State）确实解决了问题。 但显然这是修复了一些与之前的更改相关的问题，而不是注意到的注释中的MTL 2.x。

我已经查看了GHC 7.6.2的源代码，在那里我根本找不到MTL库。 相反，与状态相关的文件位于库/变换器/ Control / Monad / Trans / State中。 然后我采取了一堆令人困惑的弯路，包括目前没有Haskell平台使用GHC晚于7.4.2的问题（即：没有7.6.2）。

然后我发现MTL文档（ http://www.haskell.org/haskellwiki/Monad_Transformer_Library ）指向这个stackoverflow问答： mtl，变换器，monads-fd，monadLib和选择的悖论 ...哪种解释很多，至少在2 - 3年前。

Answer 1

上面的代码只有一个问题

Control.Monad ===> Control.Monad.State

改变的唯一实际时刻就是你有类似的东西

foo :: State Int Int
foo = State $ \a -> (a, a) -- This is an error

但修理它很容易：

foo :: State Int Int
foo = state $ \a -> (a, a)

类型构造函数State仍然存在，它只是数据构造函数被隐藏为有利于state 。 它有点令人困惑，因为它们都被命名为同一个东西。

Answer 2

代码使用State类型同义词编译好。 你只需要

import Control.Monad.State