Haskell Recursive IO

Question

У меня возникли проблемы с попыткой включить инструкцию чтения и записи в функцию evaluateStatementInner.

Я попытался изменить типы возврата обеих функций без успеха.

Я пытаюсь преобразовать тип IO(Env) в Env. Я знаю, что это можно сделать с привязкой к функции, которая возвращает действие IO, но могу ли я сделать это в операторе evaluateInner?

Приветствия

Answer 1

оценки Read и Write необходимостью включает в себя выполнение ввода/вывода. Поэтому укусите пулю и измените тип evaluateStatementInner на Stmt -> Env -> IO Env (или, лучше, включите его непосредственно в evaluateStatement).

Затем вам необходимо будет изменить evaluateListOfStatements на тип [Stmt] -> Env -> IO Env.

---

Так что теперь дает вам ошибку компиляции

case stmt of 
... 
    While boolExp innerStmt -> 
     if evaluateBoolExp boolExp env 
      then evaluateStatementInner (While boolExp innerStmt) (evaluateStatementInner innerStmt env) 
      else env 

потому что evaluateStatementInner innerStmt env дает IO Env, но evaluateStatementInner (While boolExp innerStmt) хочет Env.

Это случай для монадического связывания (и обратите внимание потребность еще ветви обновления, чтобы иметь правильный тип, а):

case stmt of 
... 
    While boolExp innerStmt -> 
     if evaluateBoolExp boolExp env 
      then evaluateStatementInner (While boolExp innerStmt) =<< evaluateStatementInner innerStmt env 
      else return env 

Вы не мог бы быть комфортно с монадическими операторами, так что я буду переводить Это не обязательно:

case stmt of 
... 
    While boolExp innerStmt -> 
     if evaluateBoolExp boolExp env 
      then do env' <- evaluateStatementInner innerStmt env 
        evaluateStatementInner (While boolExp innerStmt) env' 
      else return env