ステップからワークフローを合成する

TL;DR

ステップからワークフローを合成するのは、型の不一致により難しい

解決法

hr.icon

作成したステップを合成して、全体のワークフローを構築するが一筋縄ではいかない

各ステップの入出力だけを見る（依存関係は無視）

検証

code:fsharp

type ValidateOrder = UnvalidatedOrder

-> AsyncResult<ValidatedOrder, ValidationError>

価格設定

code:fsharp

type PriceOrder = ValidatedOrder -> Result<PricedOrder, PricingError>

注文確認

code:fsharp

type Acknowledgment = PricedOrder -> Async<OrderAcknowledgmentSent option>

返すイベントの作成

code:fsharp

type CreateEvents = PricedOrder -> PlaceOrderEvent list

入出力の型が全く一致していないので合成できない

型駆動設計でよく起こり得る問題

互換性を持たせ、互いに適合させる必要がある