These are chat archives for jdubray/sam

12th
Oct 2017
Jean-Jacques Dubray
@jdubray
Oct 12 2017 04:40
@formido you can't optimize along every single dimensions: programming for testing, version control, operations,... I can appreciate some people may want to pick a particular dimension because it suits their problem best.
I get it, Facebook has 30k React "components" and they must optimize for a number of factors such omnichannel, stability, rapid evolution...
Jean-Jacques Dubray
@jdubray
Oct 12 2017 04:47
For me the most important factor in a project is keep complexity of the project as constant (and low) as possible (i.e I can reason about the code regardless of the size of the code). Functional view components really help with that aspect.
Jean-Jacques Dubray
@jdubray
Oct 12 2017 06:42
Jean-Jacques Dubray
@jdubray
Oct 12 2017 07:37
"I moved an entire app from react to web components and wrote a piece about the experience" https://jeremenichelli.github.io/2017/10/the-web-components-experience/
Janne Siera
@jannesiera
Oct 12 2017 12:15
@jdubray I was wondering if you had any examples of something that you specified in TLA+ and then mapped to a SAM implementation. That would would be tremendously interesting to me!
Jean-Jacques Dubray
@jdubray
Oct 12 2017 15:54
The closest I have done is in the DZONE article.
image.png
Dr. Lamport gives a clear definition of what an action is, as well as the "control state"
Jean-Jacques Dubray
@jdubray
Oct 12 2017 16:04
TLA+ specs are pretty complex, it would be difficult to write something much bigger than what you see in this figure.
Janne Siera
@jannesiera
Oct 12 2017 17:30
PlusCal seems quite approachable to me