IO以外の環境でIOアクションを実行する

Question

私は次のような苦境に苦しんでいます。

evalAExpr :: AExpr -> Env -> Int 
evalAExpr (Var x) env = actAccordingly (getValueOfBinding env x) 
    where 
    actAccordingly (Left int) = int 
    actAccordingly (Right stmt) = eval stmt env 

eval :: Stmt -> Env -> IO Env` 

getValueOfBinding :: Env -> String -> Either Integer Stmt 

だから何が起こる必要があることはどちらのモナドから得のstmt xと、それは新しい環境に（理由は他のプロセスと、IOで発生する必要がある）xを評価すべきであるということである、後の私は環境から正しい値を返すことができます。しかし、ハスケルの私の限られた知識から、私はIOから出ることはできません。

例：は、すべてevalAExprが機能しているので（現在1つ以上あります）、Env atmを返すため、現在のコードでは動作しません。これを変更しなければならない場合は、評価do文とreturn文をすべて追加することになります。 > 50〜60回の発生。確かに。そうすれば、コードを見るのが面倒になるでしょう。私がIOを必要とするのは、この評価が（ある時点で）mBot（http://makeblock.com/mbot-stem-educational-robot-kit-for-kids/）からデータを収集するだけでなく、キーボードからデータを収集する必要があるからです（getLine経由で完了）。

私はそれを整然とし、整理しておくことができるようにこのコードを再加工する方法？

もっとコードが必要な場合は、気軽にping/mentionをしてください。私は要求されたコード行を提供します。要求されたよう

もっとコード：EvalAExprが使用されている方法を示し

• コード。に - 唯一の重要な変更が本当にあり

  evalAExprIO :: AExpr -> Env -> IO Int 
  evalAExpr (Var x) env = actAccordingly (getValueOfBinding env x) 
      where 
      actAccordingly (Left int) = return int 
      actAccordingly (Right stmt) = eval stmt env 
  

  ：あなたは私たちは、新しいバージョンevalAExprIOと呼ぶことにしますevalAExpr

  のモナドバージョンを記述する必要が

-- Relational operators evalBExpr (RBinary Greater a b) env = evalAExpr a env > evalAExpr b env evalBExpr (RBinary Less a b) env = evalAExpr a env < evalAExpr b env evalBExpr (RBinary Equal a b) env = evalAExpr a env == evalAExpr b env

Answer 1

Leftケース 機能actAccordinglyは012の代わりにreturn intを使用します。

evalAExprIOのタイプシグネチャが変更されましたが、これはGHCが推測できるので、変更する方法を知っておく必要はありません。 です。

更新

変更：

evalBExpr (RBinary Greater a b) env = evalAExpr a env > evalAExpr b env 

へ：

evalBexpr (RBinary Greater a b) env = liftM2 (>) (evalAExpr a env) (evalExpr b env) 

（。liftM2の輸入Control.Monad）

Answer 2

ハスケルの私の限られた知識から私はca IOから外に出ることはありません

修正済み^†！正当な理由があります：現在のシグネチャでは、関数を使用する人は、実際には純粋な、参照可能な透明な計算であることを知っているので、それに応じて不注意（怠惰など）になる可能性があります。 IOをシグネチャで明示的に指定しなくてもかまいませんでしたら、すべてのコードを簡単に破ることができます。

もちろん、IOを行う必要があることに気づいただけであれば、あなたは本当に少しジレンマになります。今すぐすべての署名を変更するのは良い方法ではありません。

しかし、あなたが最初の場所で型シノニム‡^{を使用することによって、これを防ぐことができた：あなたは、あなたはできる、すべての後にIOが必要であることに気付いすると、その後、もともと}

type Evaluation a = Identity a 

-- ... lots of functions with an `Evaluation` result ... 

evalAExpr :: AExpr -> Env -> Evaluation Int 
evalAExpr (Var x) env = actAccordingly (getValueOfBinding env x) 
    where 
    actAccordingly (Left int) = return int 
    actAccordingly (Right stmt) = someThingThatDidn'tYetRequireIO 

を持っていただろう場合ちょうど大きなプロジェクトでは

type Evaluation a = IO a 

{- same as before: 
evalAExpr :: AExpr -> Env -> Evaluation Int 
evalAExpr (Var x) env = actAccordingly (getValueOfBinding env x) 
    where 
    actAccordingly (Left int) = return int -} 
    actAccordingly (Right stmt) = eval stmt env 

にそれを変更した、Evaluationモナドは、通常、あなただけの下にIOのための余分なレイヤを追加したいモナド変圧器スタックにするだろう。_†

---

^{誰がfunction that shall not be namedについての私に思い出させた場合、私は頭with a nuclear missileについてのそれらを打つものとします。}

^‡ _{dfeuer発言として、newtypeが良いかもしれません。}