devlet monad ve learnyouahaskell.com

Question

Ben Learn You a Haskell's guide on the state monad okuyordum ama sorun derlemek olamazdı yığın örnek beri anlamakta vardı. Ben bunu yapmak için gerekeni anlıyor olmakla birlikte, derlemek olmaz

import Control.Monad.State 

type Stack = [Int] 

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

push :: Int -> State Stack() 
push a = State $ \xs -> ((),a:xs) 

: kılavuzda, o aşağıdaki kod parçasını kullandı. Neden olduğuna dair hiçbir fikrim yok. Hata iletisi: Bu aslında, bildiğim kadarıyla, bir "Devlet" beri bana

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

olarak tanımlanan bir veri yapıcısı, hiç mantıklı rehber "yanlış" mı

Stack.hs:6:7: Not in scope: data constructor `State' 

Stack.hs:9:10: Not in scope: data constructor `State' 

ve eğer öyleyse, nasıl düzeltebilirim? Ben yorumlarında belirtildiği gibi

Answer 1

, sen state yerine State kullanmalisin.

---

sorun State bağımsız veri tipi (ya da daha doğrusu newtype) değildir, ancak Identity monadın uygulanan StateT transformatörüdür. Aslında

type State s = StateT s Indentity 

olarak tanımladı ve sadece type eşanlamlı çünkü, bu State yapıcı olamaz. Bu nedenle Control.Monad.State, state kullanıyor.