hygienicマクロ以外は処理系の書き直しが完了したので gprof してみた。 ヒープベースモデルなので教科書通り、変数の lookup がボトルネックになっていることが分かった。 スタックベースの VM に書き換えても良いのでは無いかとも思っているがこのままもう…