full laziness

2026/2/17

メモ

コンパイラはもともと、ELam に未対応（要するに手抜き）

算術演算子はプリミティブかつ正格であることを利用して特別あつかい

この特別扱いは、ELamが存在しないことを仮定している。← 手抜き箇所その１

full laziness のために MFE を変数束縛してそれを lambda からフロートアウトする戦略がNG

let over lamda をやり