These are chat archives for jdubray/sam

16th
Mar 2018
Jean-Jacques Dubray
@jdubray
Mar 16 2018 02:47
@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
@jannesiera
Mar 16 2018 16:22
@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".