って要は、代入のあるプログラムを代入のないプログラムに変換してから計算するっつうことなのね。 だから、SSA、静的単一代入形式いうんだね。関数型言語だと、代入は基本的にないから、簡単に最適化も出来るみたいな。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。