ICFPプログラミングコンテスト2006に今更ながら挑戦しようとしている。
続きを読むLunarMLの進捗と妄想
コメントを残す
LunarML進捗：signatureの実装に向けて の続き。6月中旬以降の進捗を報告する。
続きを読むGHCいじくり日誌・AArch64編
ここ数日またGHCをいじっている。少し前にAArch64 NCGがマージされたのでその確認という意味が大きい。
前回の記事（3月）：GHCに初めてコントリビュートした／最近のGHC動向
同ジャンルの記事（2020年10月）：GHCデバッグ日誌
続きを読む廃線跡探訪：二塚の中越パルプ専用線（2020年6月）
地元、富山県の鉄道ネタを書いてみる。
富山県西部を走る城端線の二塚駅（高岡市）からは、近くの中越パルプ二塚工場へ専用線が伸びていた。残念ながらその役目は2015年ごろに終わってしまったが、その後どうなっているかを（2020年6月に）見に行った。
続きを読むStandard ML雑学
SML処理系を書いていると必然的にSMLの重箱の隅に詳しくなっていくものである。ここでは筆者が意外だと思ったSMLの仕様を取り上げてみたい。
続きを読む
廃線跡探訪：鹿島鉄道（後編）
廃線跡探訪：鹿島鉄道（前編）
茨城県石岡〜鉾田を結んでいた鹿島鉄道の廃線跡を自転車で巡ってきた。2021年6月上旬に訪れた。
続きを読むLunarML進捗：signatureの実装に向けて
自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて（equalityやexception等の厄介な奴らはだいたい片付けた）、残すところは
- withtype (derived form)
- abstype（Successor MLに従いderived formとして実装する予定）
- signature
- functor
くらいとなってきている。
続きを読む