言語処理系入門�6

2. これまでの評価器の構造  例： | PrimAppExpr(op,es) -> let vs = List.map (eval_expr env) es in PrimOp.apply op vs  eval_expr が次にどの部分式を評価するかは，構文木の構造によって暗黙的 に決まっていた．  eval_expr env [[a + (f 5)]] の実行後，次に評価器が何をするのかは文脈に依 存 PrimAppExpr + AppExprVarExpr a VarExpr f ValExpr 5 a + (f 5) 2009/12/4 2言語処理系入門 6 3. 命令型言語に特有の制御文  return, break, continue など  例：関数の本体中に以下の部分式があるとする  fn x a -> … a / (if x == 0 then return