These are chat archives for jdubray/sam

Mar 2018
Jean-Jacques Dubray
Mar 16 2018 02:47 UTC
@riccardoferrett_twitter yes someone has shared this post earlier and yes it is a TLA+ model of Redux, not an attempt to align the semantics of Redux with TLA+
Janne Siera
Mar 16 2018 16:22 UTC
@riccardoferrett_twitter you would still need the "Safe Global State" constraint. SAM requires a a single source of truth as well, which can only be modified through mutations. You'd just replace "ReduceAndUpdate" with something like "Model.Propose".