3 ms·
> The syntax is as close to standard informal mathematical notation as formality can afford. which is not very helpful to the average non-academic software eng
by anentropic 8y ago
> The syntax is as close to standard informal mathematical notation as formality can afford.
which is not very helpful to the average non-academic software engineer
- pron 8y agoThe entire language is based on specifying using simple mathematics (little more than high-school level), so this is the appropriate notation; a more programming-language like notation would be confusing as TLA+ is not programming. Those who have not learned basic maths notation in college can learn it in an hour (and automatically learn how to read maths in the process). The language is much simpler than Python. The entire language (except the proof language, which most people won't use at all) including all of the "standard library" is described in just a few pages: https://lamport.azurewebsites.net/tla/summary-standalone.pdf https://lamport.azurewebsites.net/tla/summary-standalone.pdf