OCaml「Functor は Applicative」：モジュールからモジュールへの変換が純粋関数的に振る舞うという意味
Haskell「Applicative は Functor」：f (a → b) → f a → f b ができるなら (a → b) → f a → f b もできるという意味

OCaml のモジュールの型システムってなんか複雑だな　そもそも構造的型付けなのに path-dependent type？というのもあるみたいでコンパイラ側は大変そう

OCaml の課題で「ウーン　これはカインド多相があればできるんだけどなあ」と言っていたら Lightweight Higher Kinded Polymorphism というテクニックを発見

🎉 関数型まつり2026 採択セッション一覧を公開しました！

採択結果はこちらからご確認いただけます👇
fortee.jp/2026fp-matsu...

今年もたくさんのご応募をありがとうございました🙌
応募者の皆さまにはご案内メールをお送りしていますので、あわせてご確認ください。

#fp_matsuri

システムプログラミング実験で man を丁寧に読みながらチマチマ C を書いていると、「正しい」プログラミングをしているような気分がして、心が洗われるような感覚になるな　逆 vibe coding

こんなのあるんだ

wasmfx.dev

Spotify の recommend にしたがっていろんな音楽を聴くようになったが、自分のよく聴くジャンルに名前がついていることに後から気付くのは新鮮な感覚だと思う　アンビエントとかマスロックとか

コンピュータサイエンスにせよ数学にせよ、究極的には記号操作が好きなのかもという気分になってきた

nvimdots をやめて LazyVim にした　自分で設定を書く必要がほぼない割に lazy loading がちゃんとチューニングしてあってスコスコ動く

情報論理の演習問題、i ∈ {0, ..., n-1} という意味で i ∈ n と書いてあって思想すぎかも

エッ　非自明だ

is.s.u-tokyo.ac.jp のメールアドレスをゲットし、カッチョエ～となっている

IIJ と JIJ って違う会社だったのか

エー　卒論 TeX じゃなくていいのそうなんですね

ありがとうございます🥲　素直に練習します

今まで TeX から逃げて typst とか SATySFi ばっかりだったけど今セメスターはちゃんと TeX でレポート書こうかな……　いやだな……

計算機構成論の参考書に『プログラマーのための CPU 入門』が入っていて、ラムダノート頑張ってくれーッと思うなどした

授業で ｵｷｬﾓｳ を書いていて、最初は Haskell の方が美しいかもって思っていたけれど、正格評価だし adhoc 多相もオフサイドルールもないから least surprising という感じがしてこれはこれでいいねという感じもしてきた　相変わらずビルドが遅すぎだけど

koka かなり面白いな　algebraic effect + effect handler のイメージが強かったけど、参照カウンタを静的に管理して可能なら破壊的な C コードにトランスパイルする機能がついてて performant

effect type、型じゃなくて linter みたいなのでもよくないかって思ってたけど equational reasoning に便利なんだなあ

Brzozowski 微分（正規表現の微分のやつ）の Brzozowski ってゾゾウスキーって読むの恐しすぎる

すみません　みなさん形式検証の時代が来るとおっしゃられているんですが、その兆候があまり……（来てほしすぎ！！）

確かに最近 Gemini ハルシネーション増えてる気がするなあ

Aerospace, neovim, ghostty ですでのウィンドウ管理が混乱しているのでターミナルマルチプレクサを導入する機運がしぼみつつある　みんなどうやって運用してるんだろう

Hoare 論理の Hoare ってクイックソートの考案者だったのびっくりするな　ご冥福をお祈りします

スパスパハスケル、声に出して読みたい日本語

昔の自分が予備の Yubikey のデバイス名を "Yobikey" にしていて、やかましすぎ

当時は C++ しか書いたこと無かったと思うけど、list に対するパターンマッチを見ながら（これは C++ の template metaprogramming みたいだな）と思った記憶があり、ヘンすぎ

ふと思い出したけど、始めて触った関数型言語が SATySFi だったのってヘンすぎかも

野菜をきつく包んだ生春巻を食べていると効率的に栄養を摂取できているような気分になるため、好きだ