Rogue Engineer's Diary / やさぐれ日記(2005-03-20)

2005-03-20

■ [Modern Compiler Implementation in ML] レジスタ割り付け部構造修正

"mciML"、今週はレジスタ割り付け部の構造をごっそりと直したため、アルゴリズムの追加はなし。（ちなみに書き直したコードはこちら）

先週の日記で述べていた件（テストへの対応）は、"color"という関数の中に隠れていた内部関数を外側に引っ張り出して、外（この場合はテストプログラム）から直接さわれるようにすることで解決した。引っ張り出された各関数には、従来よりも多くの引数を渡す必要があるが、関数型言語においては、この事はそれほど問題とならない（カリー化という技があるのだ。と言いつつまだちゃんと使いこなしていないけど）。来週はテストプログラムをちゃんと書く（予定）。

■ [Modern Compiler Implementation in ML] 番外編：「美しい日本のMLコンパイラ」

「美しい日本のMLコンパイラ」が完成し、公開されていたことに今ごろ気づく（遅いよ）。「2004年度未踏ソフトウェア創造事業」にこのテーマが採択されてからずっと注目していたハズなのに、いつの間にかすっかりチェックを忘れていた。しかも向こうはコンパイラを教える側、一方こちらはコンパイラを学ぶ側、ということで同列に扱うなんて恐れ多くてとても出来ない…と思いつつもコメントをする。

「美しい日本のMLコンパイラ」はMinCamlと呼ばれる、MLのサブセットを対象にしたコンパイラ。いま僕が使っているStandard MLの兄弟に当たる、OCamlで書かれている。「MLには様々な実装や変種がありますが、現在の主流はObjective Caml、省略してOCaml（オーキャムル）です」とのこと。う～ん、そうなのかなぁ…やっぱりそうなのかもなぁ…＿|￣|○
（気をとりなおして）OCamlとStandard MLは文法的にかなり近いと言っても、東京弁と大阪弁くらいの違いはある。僕にとってはOCamlでのプログラムの書き方を知る、絶好の教材が手に入った、というカンジ。「超特急ML超入門」というチュートリアルもついてるし、至れりつくせり。
OCamlにはコードをHTML形式に変換するツール(caml2html)があるようだ。（いいなぁ。Standard ML向けの同様のツールをずっと探しているのだが見つからないのだ）
「美しい日本のMLコンパイラ」のソースコードサイズは2000行とのこと。ちなみにこちらで作成中のコンパイラは現在2850行（完成すると3000行強くらいになるかな）
冒頭に出てくるコードにシビれた（カッコが沢山出てくるけどS式じゃないよ）。やっぱりいいよね、こういうの。

let lexbuf outchan l = (* バッファをコンパイルしてチャンネルへ出力する *)
  Id.counter := 0;
  Typing.extenv := M.empty;
  Emit.f outchan
    (RegAlloc.f
       (Simm13.f
	  (Virtual.f
	     (Closure.f
		(iter !limit
		   (Alpha.f
		      (KNormal.f
			 (Typing.f
			    (Parser.exp Lexer.token l)))))))))

今僕が参考にしている"Modern Compiler Implementation in ML"と「美しい日本のMLコンパイラ」は、どちらもコンパイラの作成というテーマでありながら、良く見ると攻略ルートは結構違う。最初に見たときには「ぁ～なんかカブっちゃったかな」と心配になったが、どうやらガッカリする必要はなさそう。どちらかというと、比較する楽しみが増えた、というべきかも。

[ツッコミを入れる]

ツッコミ・コメントがあればどうぞ! E-mailアドレスは公開されません。

[TrackBack URL: http://fukumori.org/diary/tb.rb/20050320]

本日のリンク元