mimiumのMIRコンパイル過程を真面目に考える

ツリー形式からBasicBlockのインストラクション形式に変える

Stateのこととupvalueを両方処理しなくてはならない

StateSize計算とUpvalue計算の両方をtraitとして切り出す方がいいのかな

値

v ::= ∣ R (λ x : τ . e, [Γ, x : e], St a t e St or a g e (p, V ec)) [Cl os u re]

e ::= ∣ ∣ ∣ ∣ ∣ ∣ x x \in V λ x . e e e a pp c l s e e f i x x . e g e t s t a t e e I_{n} I_{s} d e l a y e e [v a l u e] [l amb d a] [a pp （ g l o ba l, s t a t e f u l)] [a pp c l os u re] [f i x p o in t] [f ee d] [d e l a y]

結局W計算のStaged Interpreterと変わらんかもな

そうすると型付けの時点でクロージャ相当の項とグローバル関数適用の項は分かれることになる?エフェクトとして考えるのが妥当なのかな

τ ::= ∣ ∣ R_{a} I_{n} τ \to τ a \in N n \in N

let compiler = fun e -> match e with
  Id(x) -> 
  | App(e1,e2)->
  | Feed(x,e) ->