関数によるワークフローのモデリング
単純な値のモデリング や 複雑なデータのモデリングにより、ユビキタス言語 の名詞はモデリングできるようになった
一方、動詞である ビジネスプロセス や それを構成するワークフロー は関数型としてモデリングする
e.g. 注文書を検証するワークフロー
type ValidateOrder = UnvalidatedOrder -> ValidatedOrder
複雑な入力と出力の処理
関数のシグネチャでエフェクトを文書化する