処理をデータとして表現する
型の恩恵を得られる
処理の永続化ができる
Event Sourcing的な
Consistencyを保ちやすくなる
ref 同じBounded Context内でのConsistency
Domain Event
関連
Free型はMonadをdata構造として表現したものも似たなにかを感じるmrsekut.icon
Datomic
ちょっと違うか?
Datomicを知らんのでわからん #??