Ошибка конструктора данных при реализации государственной монады?

Question

Я иду через государственную монады here, и я пытаюсь выполнить:

import Control.Monad.Reader 
import Control.Monad.Writer 
import Control.Monad.State 

type Stack = [Int] 

pop :: State Stack Int 
pop = State $ (x : xs) -> (x, xs) 

Однако я получаю следующее сообщение об ошибке:

"Data constructor not in scope: 
    State :: ([t0] -> (t0, [t0])) -> State Stack Int 
Perhaps you meant one of these: 
    ‘StateT’ (imported from Control.Monad.State), 
    variable ‘state’ (imported from Control.Monad.State)" 

я упускаю что-то основное здесь?

Answer 1

нет вы не являетесь. Учебник немного упрощает ( или, может быть, он просто устарел - я не ухожу далеко назад, чтобы узнать, какой из двух он устарел). Control.Monad.State определяет монаду трансформаторStateT. Он также экспортирует более простой синоним типа, эквивалентное тому, что учебник учит вас

type State s a = StateT s Identity a 

Однако это не означает, что конструктор не State, это StateT (и имеет обобщенную подпись). К счастью, на этот раз вам не нужно слишком беспокоиться.

• Для построения State, вы можете использовать функцию state и делать вид, что имеет подпись state :: (s -> (a,s)) -> State s a (в действительности она имеет более общую подпись - что вы столкнетесь в сообщениях об ошибках).
• Для деконструкции State, просто используйте runState :: State s a -> s -> (a,s) вместо соответствия шаблону.

---

Из примера вы дали:

import Control.Monad.Reader 
import Control.Monad.Writer 
import Control.Monad.State 

type Stack = [Int] 

pop :: State Stack Int 
pop = state $ \(x : xs) -> (x, xs) 

Answer 2

Почему вы предполагаете, что интерфейс к State a осуществляется через конструктор данных, который обертывает функцию s -> (a, s)? Это простой способ: реализовать Состояние, но вы не указали этот интерфейс. Вместо этого используйте конструкции, указанные в Control.Monad.State.

Одно простое изменение просто использовать строчными state функция предназначена для этой цели:

pop :: State Stack Int 
pop = state $ \(x : xs) -> (x, xs) 

В качестве альтернативы, вместо того чтобы работать с этой точки зрения низкого уровня государства, вы можете работать с ним, как не монады через свои put и get функции:

pop :: State Stack Int 
pop = do 
    (x : xs) <- get 
    put xs 
    return x