中間形式はどういうのが良いのだろうか - Scheme VM を書く
最適化をまじめにやるために、土台作りを進めてきたわけだがコンパイル時の中関形式はどういうのが良いのだろうか。
Gauche は IForm というのを使っていて
We first convert the program into an intermediate tree form (IForm),
which is in principle similar to A-normal form, but has more
convenience node types specific to our VM. IForm is represented
by a nested vectors, whose first element shows the type of the node.
とのこと。
A-normal form をそもそも知らないので調べよう。
ワクワクしてきたよ。
