LunarML進捗：signatureの実装に向けて | 雑記帳自作SML処理系進捗：Hello Lua! の続き。 自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて（equalityやexception等の厄介な奴らはだいたい片付けた）、残すところは withtype (derived form)abstype（Successor MLに従いderived formとして実装する予定）signaturefunctor くらいとなってきている。 derived formはいつでもできるとして、未実装の機能のうち大きなものがsignatureとfunctorだ。このうちfunctorはsignatureに依存するので、signatureを先に実装することになる。 第一級モジュールの動機 それとは別に、モジュール関連の実装したい機能として、第一級モジュールに相当する機能を入れたい。これのモチベーションは標準ライブラリーを実装するための実
