SML処理系を書いていると必然的にSMLの重箱の隅に詳しくなっていくものである。ここでは筆者が意外だと思ったSMLの仕様を取り上げてみたい。
続きを読むStandard ML雑学
コメントを残す
廃線跡探訪：鹿島鉄道（後編）
廃線跡探訪：鹿島鉄道（前編）
茨城県石岡〜鉾田を結んでいた鹿島鉄道の廃線跡を自転車で巡ってきた。2021年6月上旬に訪れた。
続きを読むLunarML進捗：signatureの実装に向けて
自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて（equalityやexception等の厄介な奴らはだいたい片付けた）、残すところは
- withtype (derived form)
- abstype（Successor MLに従いderived formとして実装する予定）
- signature
- functor
くらいとなってきている。
続きを読む自作SML処理系進捗：Hello Lua!
自作SML処理系進捗：Hello world
GHCに初めてコントリビュートした／最近のGHC動向
事実上の標準なHaskell処理系であるGHCに貢献するというのが去年掲げた目標だったが、それがようやく実現したので報告する。ついでに、最近のGHC開発状況についても簡単にまとめてみる。
続きを読むシン・エヴァンゲリオン感想
「シン・エヴァンゲリオン劇場版」を初日に見てきたがTLに全然感想が流れてこなくて寂しいので自分で書くことにする。ネタバレ注意。
続きを読む公式の暗記と導出
どうやら受験シーズンのようなので、高校数学に毛の生えたレベルの話でもしてみようと思う。
続きを読む\autorefの欠点と代替
hyperrefパッケージの\autorefの欠点と、\autorefを使わない代替方法を挙げてみる。
続きを読む