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