セッション一覧

関数型の考えをTypeScriptに持ち込んで、テストしやすい純粋関数を増やす—Functional Core, Imperative Shellの実践—

美しいコードを書くためにF#を学んでみた話

2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として

Robloxでのゲーム開発に使う言語「Luau」について

本物のプログラマーは unsafe と型システムを使う 〜拡張可能レコードを作って学ぶ黒魔術入門〜

パッケージマネージャー Nix はなぜ純粋関数型言語で設定を記述するのか

型は壁、Rustでもバグを直すな、表現できなくせよ

速習FP in Scala with Flix: Flix言語で親しむ純粋関数型のコード設計

Rustで宣言的ストリームDSLを設計する: async boundary と island 実行モデル

OCamlで作ったアプリを実運用している

ElixirのGenServerでアクタープログラミングしてみよう 〜Pub/Sub使って広域分散環境でマイグレーションも出来るよ〜

LLMに書かせる前提で設計された言語の設計について議論して｡

壊れたパーサからはじめる関数型設計と構成的なパーサ

モナディックPython — Resultモナドで型安全なAPI開発

PHPだって関数型したい 〜できること、できないこと〜

モナドっていうほど関数型プログラミング関係なさそうだよな

証券システムを10年Scalaで作り続けるということ

Scalaで作る型安全性を保持する暗号化ライブラリ

入門ラムダ計算 with λ-1グランプリ！

Lean 4をRTL開発の中核にする — Sparkle におけるJIT、検証、Reverse Synthesis(逆合成)

Leanで学ぼう等式推論（証明もあるよ！）

Haskellと圏論：パフォーマンス改善からKan拡張へ

Welcome to the "Parametricity" 🏙️ − Generic だけど Specific な世界 −

継続モナドとリアクティブプログラミング

Rewriting Electrical Grid Modelling Software: Lessons in Functional Domain Modeling with F#

ぼくのかんがえたさいきょうの alt TLA+

アルゴリズムは何を圧縮しているのか: Haskell から育った「圧縮代数」というメンタルモデル

暗号実装における辛さを関数型によって解決してみよう

世界がない物理エンジン

なぜ多くの言語はHigher Kinded Typesをサポートしないのか

結局のところ「代数的」って何なの？ 〜霧の向こうの代数的エフェクト〜

証明駆動競技プログラミング: セグメント木ライブラリの検証

Haskell/Servantを通してWebミドルウェアを捉え直す

音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用

代数的エフェクトの高速化技法と発展的な機能

なぜ関数型プログラミングで「型」と「証明」が語られるのか

「弱い」世界から分解する「データ型」の概念

フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと

多段階計算によるコンパイル時テンソル形状検査

型推論入門 ― Hindley-Milnerの仕組みと実装の違い