コンセプトのactions
from コンセプトのフォーマット
行えるactionの列挙
各actionに対して、どのstateに適用すると、どのstateになるか
https://essenceofsoftware.com/tutorials/concept-basics/apps-are-state-machines/#actions
itemsの状態を特定するのに、CartとOrderが必要となっているのに、
code:_
items: (Cart + Order) -> set Item
Action側では、CartとItemしか記述しないのか
add (c: Cart, i: Item)
引数にOrderが必要だったりしないのか
items' = items U {(c, i)}というのが、
items' = items U {(c,o,i)}だとStateと一致するように見えるが
下にcheckout (u: User, c: Cart, o: Order)があったわ
/mrsekut-book-4621308130/085 (新しい合成法)
どの順番でも実行できる