>>984
それ見てて思った。中間言語としてANFに変換してるけど、このANFはたぶんBOEHMの木構造と関係がありそうだ。
このANFの段階でOptimizeするってことは、ソースコードからANFでもそのままOptimizeされない記述はインラインアセンブラとして働くってことだね。
つまり、Ｙコンビネータをはじめとするコンビネータ形式で書かれたソースコードはインラインアセンブラとして働くってこと？
ということは、Lambdaを持ってる言語（λ演算評価機として等価）ならコンビネータ形式で書ければ全く等価なプログラムを書けるってことだ。
Littleでチャ−チ・ロッサーが出てきたの覚えてる？＞読んだ人