4 ms·
No, you’re just failing to understand what “equational reasoning” means. It has little to do with the idea of LeftSide = RightSide. In fact you don’t even need
by epgui 3y ago
No, you’re just failing to understand what “equational reasoning” means.
It has little to do with the idea of LeftSide = RightSide. In fact you don’t even need an “equation” in that sense, or any equality sign, to do equational reasoning.
Equational reasoning is when a program is evaluated (ie.: like when you simplify or factorize an equation in maths) by using substitution (or rewriting) rules: https://en.wikipedia.org/wiki/Rewriting https://en.wikipedia.org/wiki/Rewriting
- auggierose 3y agoThis is becoming funny. I recommend this book for you, you should read it. I have: https://www.cambridge.org/core/books/term-rewriting-and-all-that/71768055278D0DEF4FFC74722DE0D707 https://www.cambridge.org/core/books/term-rewriting-and-all-...
- epgui 3y agoFunny indeed, that’s the first reference on the wiki article. shrugs
- auggierose 3y agoSo you've read it? I wouldn't think so, because you don't seem to know the first thing about equational reasoning, namely that it is ALWAYS ABOUT EQUATIONS.