Что означает "спросить" в Haskell и в чем разница между функцией "спрашивает"? - PullRequest
Новая
       111

Что означает "спросить" в Haskell и в чем разница между функцией "спрашивает"?

0 голосов
/ 28 мая 2020

Я не могу понять, как использовать функцию ask, я знаю, как использовать функцию asks, но не знаю, связаны ли они.

Я читал «Что я sh знал, когда изучал Haskell» Стивена, и я нашел этот пример: 

{-# LANGUAGE GeneralizedNewtypeDeriving #-}

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

type Stack = [Int]
type Output = [Int]
type Program = [Instr]

type VM a = ReaderT Program (WriterT Output (State Stack)) a

newtype Comp a = Comp { unComp :: VM a }
    deriving (Functor, Applicative, Monad, 
                MonadReader Program, MonadWriter Output, 
                  MonadState Stack)

data Instr = Push Int
            | Pop
            | Puts

evalInstr :: Instr -> Comp ()
evalInstr instr = case instr of
                    Pop -> modify tail
                    Push n -> modify (n:)
                    Puts -> do
                        tos <- gets head
                        tell [tos]

eval :: Comp ()
eval = do
    instr <- ask
    case instr of
      [] -> return ()
      (i:is) -> evalInstr i >> local (const is) eval

execVM :: Program -> Output
execVM = flip evalState [] . execWriterT . runReaderT (unComp eval)

program :: Program
program = [
        Push 42,
        Push 27,
        Puts,
        Pop,
        Puts,
        Pop
    ]

main :: IO ()
main = mapM_ print $ execVM program

Итак, мой вопрос: откуда был взят список?

1 Ответ

3 голосов
/ 28 мая 2020

ask равно asks id. В то время как в ... 

do
    x <- asks f
    -- etc.

... x будет результатом применения f к среде вашего MonadReader вычисления, в ... 

do
    x <- ask
    -- etc.

... x будет самой средой.

...