まだ（また？）MinCamlのエスケープ解析関係。思ったより難しくて、なかなか証明（というか定義）がうまくいかず試行錯誤。 ４年生の人々から質問。ようやく研究らしくなってきたかも。 なぜか給与規定のお勉強＆計算。ややこしすぎる… 前に悩んだ出張旅費、…

がAdd of t * tとかNeg of tとか別々になっているのは、プリミティブごとにarityが違うので、Prim of op * t listとかにすると、Prim(Neg, [e1; e2])とか書けてしまうためです。一つにまとめられるメリットとどちらが大きいか、僕も迷ったのですが。FAQっぽ…