• ch.4 算術式のML実装
    • 4-2 評価
  •  #  chapter 4. 算術式のML実装
    •  ◆  section 4-2. 評価
      演習 4.2.2 arith の実装における eval 関数の定義を、演習 3.5.17 で導入された大ステップスタイルに変えよ。


      [大ステップの評価]
       B-Value
      v ↓ v
      t1 ↓ truet2 ↓ v2B-IfTrue
      if t1 then t2 else t3 ↓ v2
      t1 ↓ falset3 ↓ v3B-IfFalse
      if t1 then t2 else t3 ↓ v3
      t1 ↓ nv1B-Succ
      succ t1 ↓ succ nv1
      t1 ↓ 0B-PredZero
      pred t1 ↓ 0
      t1 ↓ 0B-PredSucc
      pred t1 ↓ succ nv1
      t1 ↓ succ nv1B-IsZeroSucc
      iszero t1 ↓ false


      [実装]