このシリーズでは、コンピュテーション式とは何か、一般的なパターン、そして独自のコンピュテーション式の作り方を学びます。その過程で、継続、bind関数、ラッパー型なども見ていきます。
- コンピュテーション式:入門編。謎を解き明かす。
- 継続を理解する。「let」の舞台裏。
- 「bind」の紹介。独自の「let!」作成への道。
- コンピュテーション式とラッパー型。型を使ってワークフローを支援する。
- ラッパー型の詳細。リストもラッパー型になり得ることを発見。
- ビルダーの実装:ZeroとYield。基本的なビルダーメソッドの導入。
- ビルダーの実装:Combine。複数の値を一度に返す方法。
- ビルダーの実装:DelayとRun。関数の実行タイミングを制御する。
- ビルダーの実装:オーバーロード。メソッドの巧妙な技。
- ビルダーの実装:遅延評価の追加。ワークフローを外部から遅延させる。
- ビルダーの実装:残りの標準メソッド。While、Using、例外処理の実装。