「コンピュテーション式」シリーズ

このシリーズでは、コンピュテーション式とは何か、一般的なパターン、そして独自のコンピュテーション式の作り方を学びます。その過程で、継続、bind関数、ラッパー型なども見ていきます。

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