• radish-miyazaki
  • 今日
  • よく見る Scrapbox Project リスト
  • Gremlins がどうやってコードを置き換えているのかを追う
  • ZITADEL
  • LLMに書かせる前提で設計された言語の設計について議論して｡
  • Agent Package Manager
  • ReScript
  • 世界がない物理エンジン
  • 多段階計算によるコンパイル時テンソル形状検査
  • 関数型まつり 2026
  • 音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用
  • なぜ多くの言語はHigher Kinded Typesをサポートしないのか
  • フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと
  • 型推論入門 ― Hindley-Milnerの仕組みと実装の違い
  • 2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として
  • 結局のところ「代数的」って何なの？ 〜霧の向こうの代数的エフェクト〜
  • Leanで学ぼう等式推論（証明もあるよ！）
  • OCamlで作ったアプリを実運用している
  • 関数型の考えをTypeScriptに持ち込んで、テストしやすい純粋関数を増やす—Functional Core, Imperative Shellの実践