4 ms·
> is there something flawed in the parent comment's argument? As someone who really dislikes mathematical notation (pre-TLA+ proficiency), I think it's flawed.
by erichocean 5y ago
> is there something flawed in the parent comment's argument?
As someone who really dislikes mathematical notation (pre-TLA+ proficiency), I think it's flawed.
You need to learn to think in math. Literally use math to solve CS problems.
This is fundamentally a different kind of thinking than writing code.
Once you learn to Think In Math™, the TLA+ notation is fine, even good—it maps 1:1 to your thoughts. Programming language notation would only get in the way.
- rramadass 5y agoWell put! I was in the same boat i.e. wanting everything to be expressible in C/C++ type of syntax before i realized that it was quite the wrong way of looking at things and in particular; Mathematics. Mathematical Notation is fundamental while Programming Language Notation is incidental when looking at Mathematical subjects. It was merely an unwillingness to put forth effort to learn a new "shorthand conceptual language" that was holding me back. Once i learnt to read the notation and familiarized myself with it, things became much "easier and obvious".