Как привести переводчика в монаду IO? - PullRequest
Новая
       41

Как привести переводчика в монаду IO?

0 голосов
/ 01 января 2019

Мой вопрос относится к простому интерпретатору, написанному в в этом ответе

Как можно добавить возможности ввода-вывода к этому интерпретатору (первый не монадический ) версия)?Под этим я просто подразумеваю добавление оператора, который использует putStrLn.Я еще не очень хорошо разбираюсь в Хаскеле, но, полагаю, вы можете как-то объединить монаду IO.Может ли кто-нибудь указать мне правильное направление? 

data Stmt
  = Var := Exp                                   
  | While Exp Stmt                                               
  | Seq [Stmt]      
  | Print Exp       -- a print statement

Ответы [ 2 ]

0 голосов
/ 02 января 2019

Я расширил ваш интерпретатор оператором Print, который печатает выражение на консоли.подпись exec и run должна была быть соответственно расширена: 

infixl 6 :+:, :-:
infixl 7 :*:, :/:

data Exp
    = C Int        -- constant                                                     
    | V Var        -- variable                                                     
    | Exp :+: Exp  -- addition                                                     
    | Exp :-: Exp  -- subtraction                                                  
    | Exp :*: Exp  -- multiplication                                               
    | Exp :/: Exp  -- division
    deriving (Show)

infix 1 :=

data Stmt
    = Var := Exp      -- assignment                                                
    | While Exp Stmt  -- loop                                                      
    | Seq [Stmt]      -- sequence
    | Print Exp


type Prog = Stmt

type Var = String
type Val = Int
type Store = [(Var, Val)]

eval :: Exp -> Store -> Val
eval (C n) r       = n
eval (V x) r       = case lookup x r of
                    Nothing -> error ("unbound variable `" ++ x ++ "'")
                    Just v  -> v
eval (e1 :+: e2) r = eval e1 r + eval e2 r
eval (e1 :-: e2) r = eval e1 r - eval e2 r
eval (e1 :*: e2) r = eval e1 r * eval e2 r
eval (e1 :/: e2) r = eval e1 r `div` eval e2 r

exec :: Stmt -> Store -> IO Store
exec (x := e) r                    = return $ (x, eval e r) : r
exec (While e s) r | eval e r /= 0 = exec (Seq [s, While e s]) r
                | otherwise     = return r
exec (Seq []) r                    = return r
exec (Seq (s : ss)) r              = do
                                        r' <- exec s r
                                        exec (Seq ss) r'
exec (Print x) r                   = print (eval x r) >> return r

run :: Prog -> Store -> IO Store
run p r = nubBy ((==) `on` fst) <$> (exec p r)

fib :: Prog
fib = Seq
[ "x" := C 0
, "y" := C 1
, While (V "n") $ Seq
    [ "z" := V "x" :+: V "y"
    , "x" := V "y"
    , "y" := V "z"
    , "n" := V "n" :-: C 1
    , Print (V "x")
    ]
]

main = lookup "x" <$> run fib [("n", 25)]
0 голосов
/ 01 января 2019

Вы можете заставить ваш интерпретатор иметь результат в монаде IO: 

exec :: Stmt -> Store -> IO Store

Теперь функция exec может делать все что угодно в IO.Существующие операции необходимо будет соответствующим образом изменить.

...