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

mimium

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

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

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

値

$$\begin{array}{rlr}v::=& R& \\ |& (\lambda x:\tau .e,[\Gamma ,x:e],StateStorage(p,Vec))& [Closure]\end{array}$$ $$\begin{array}{rlr}e::=& xx\in \mathbb{V}& [value]\\ |& \lambda x.e& [lambda]\\ |& ee& [app（global,stateful)]\\ |& appclsee& [appclosure]\\ |& fixx.e& [fixpoint]\\ |& getstatee{I}_n{I}_s& [feed]\\ |& delayee& [delay]\end{array}$$

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

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

型

$$\begin{array}{rlr}\tau ::=& R_a& a\in \mathbb{N}\\ |& I_n& n\in \mathbb{N}\\ |& \tau \to \tau & \end{array}$$

コンパイル

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