最近、「Haskellでの型レベルプログラミング」という「本」を執筆している。まだ完成ではないが、以下のリンクから読める：
続きを読む「日記」カテゴリーアーカイブ
2021年振り返りと来年に向けて
1件のフィードバック
2021年も色々あったので振り返りたい。
続きを読むICFP Programming Contest 2006進捗
ICFP Programming Content 2006: ADVENTURE
ICFP Programming Contest 2006 “The Cult of Bound Variable” に挑戦してみる
ICFPプログラミングコンテスト2006に今更ながら挑戦しようとしている。
続きを読むシン・エヴァンゲリオン感想
「シン・エヴァンゲリオン劇場版」を初日に見てきたがTLに全然感想が流れてこなくて寂しいので自分で書くことにする。ネタバレ注意。
続きを読む2020年振り返りと来年に向けて
2020年も色々あったので振り返りたいと思う。
続きを読む自作SML処理系で 1 + 2 がコンパイルできた
2年ほど前からSML処理系を自作している。それがこの度、「動作するターゲットコード (Lua) を出力する」という重要なマイルストーンに到達したので記念に記事を書いておく。
この処理系については、2018年9月に開催された勉強会「ML Day #2」で進捗報告のLTをしたこともあった。（あれから2年も経ってまだこの段階かよ！）
続きを読む技術書典9に「浮動小数点数小話」を出します
昨日からオンラインで「技術書典9」が始まっています。昨今のアレで今回はオンラインです。だめぽラボでは1年ぶりに技術書典に出展しています。
今回は既刊「Haskellで戦う競技プログラミング」の改訂第2版を出したほか、新刊「浮動小数点数小話」を出します。
続きを読むMSYS2メモ
以前Windows環境が吹き飛んで秘蔵のMSYS2用設定ファイルが失われたことがあったので、改めてメモしておく。
続きを読む