論文精読入門
Cordis 論文精読:時空コンポーザビリティのプログラミングパラダイム
『時空コンポーザビリティのためのプログラミングパラダイム』をゼロから読み解きます。型理論の背景知識は不要。コードの直感で可逆エフェクトとリアクティブコエフェクトを理解できます。
13 レッスン約 5.2 時間進捗 0/13
コースカタログ
1
要旨と序論:動的コンポジションと2つの次元次のレッスン
時間コンポーザビリティと空間コンポーザビリティとは何か
20 分
2
動機づけの例:VSCode プラグインと AI エージェント
なぜ今のソフトウェアは実行時にアンロードできないのか
15 分
3
貢献の振り返りと型判断 Γ ⊢ t : T
エフェクト注釈:型は戻り値だけでなく副作用も記録する
15 分
4
モナド:副作用を箱に入れる
Promise はモナド:η で値を包み、flatMap で平坦化する
25 分
5
コエフェクト:計算が環境に求めるもの
エフェクトは「何を変えたか」を問い、コエフェクトは「何が必要か」を問う
20 分
6
可逆エフェクト:取り付けられ、取り外せる
すべてのコンテキスト変換に明示的な逆変換が付属する
30 分
7
エフェクトの合成:逆変換は自動で合成される
⋄ 演算:合成されたエフェクトの逆は合成から自然に得られる
30 分
8
リアクティブコエフェクト:依存が揃えば自動で起動
充足性とアクティブ化 / 非アクティブ化 / 中立遷移の分類
25 分
9
コンポーネントライフサイクル:冪等・反復・エポック・非同期
慣性状態マシン:遷移は一度始まると完了まで実行される
35 分
10
コンテキストパラダイム:統一されたコンテキスト型
エフェクトコンテキストとコエフェクトコンテキストを1つの実体に統合
20 分
11
Cordis コアライブラリ:エフェクト追跡とコエフェクト解決
ctx.effect、ctx.set、ファイバーと慣性状態マシン
30 分
12
コンポーネントローダーと Koishi のケーススタディ
宣言的設定、ホットモジュールリプレースメント、4000+ のプラグインエコシステム
25 分
13
考察、関連研究、まとめ
サービス多重化、アクセス制御、バージョン管理
20 分
用語集 · 論文付録 A
この用語集は、論文が新たに提案した概念、または特別な意味を与えた概念のみを収録しています。一般的な概念は繰り返し掲載しません。