今週末は、アセンブラ周りのif文について考えてました。 で、いろいろ悩んだ結果、mincamlのscalaバージョンのemit_x86.scala周りを修正して、というか削って、 こんな感じっていうプログラムを作って、いちお出来たことにしました。情けないんですけど、俺…

って要は、代入のあるプログラムを代入のないプログラムに変換してから計算するっつうことなのね。 だから、SSA、静的単一代入形式いうんだね。関数型言語だと、代入は基本的にないから、簡単に最適化も出来るみたいな。