This factoring is "unique", you just can't make it up (IMHO)
You can define formalisms on top of it, but you cannot decide arbitrarily what the foundation is, it is foundational.
It's the same for Front-End architectures, we must decide how to factor the code, nothing is arbitrary. Just like React which is slightly out of phase because of some of the choices they have made.
The object of my discussion with @brucou was to say be careful, you can't throw up any formalism in the air and say that one works too, or why not use that formalism as XYZ (he was pointed at extended state machines).
My point is that TLA+ is a formalism which can be used to describe any state machine as we know it, therefore I claim it is foundational. I cannot define something below TLA+
I understand that maybe controversial, or perhaps difficult to agree.
i get the point
i suspect most people dont know much about TLA+
it's got a rather unfriendly name toboot
I'm a Physicist as well wtb
It's all right, happy to answer any question you have.
have you considered making the ubiquitous TodoList in SAM ?
It's obviously kind of lame
Yes it already
but the canonical one
not just any todolist
there's a github project i think
that has the same app for lots of different architectures
it's the kind of thing that makes a lot of people take notice and consider it seriously.