3 ms·
> Maths is more type-dependent in the absence of parentheses Yes, mathematical notation is also heavily overloaded, often abbreviated or "abused" and full of "
by chriswarbo 8y ago
> Maths is more type-dependent in the absence of parentheses
Yes, mathematical notation is also heavily overloaded, often abbreviated or "abused" and full of "puns".
There have been some attempts to "fix" this. Lambda calculus (the basis of most functional languages) could be seen as an attempt to do this. A more recent example is https://en.wikipedia.org/wiki/Structure_and_Interpretation_of_Classical_Mechanics https://en.wikipedia.org/wiki/Structure_and_Interpretation_o...