等式推理的名称从何而来？
Where does the name of Equational Reasoning come from?
我知道equational reasoning是一段代码在任何情况下都可以被其他人替换，但我真的很好奇"equational reasoning"的名字是从哪里来的？我用谷歌搜索但找不到任何相关答案。
它其实并不是一个真正的名字，只是一个经过反复使用而标准化的描述。 "Equational reasoning" 只是推理，即 "equational"；即它涉及方程.
涉及的思路是，这一系列改写：
fmap even . fmap (+1)
fmap (even . (+1))
fmap (\x -> even (x +1))
fmap odd
涉及与这一系列重写相同的种类思考：
(x + 1)(x - 1)
x^2 + x - x - 1
x^2 - 1
在这两种情况下，您都使用您知道通常成立的 fmap f . fmap g = fmap (f . g) 或 (a + b)(c + d) = ac + ad + bc + bd 等式，并使用它们将您的条款转换为 可证明等价。 方程式 是关键，之前已证明它成立（最好由其他人 ;)）。
我知道equational reasoning是一段代码在任何情况下都可以被其他人替换，但我真的很好奇"equational reasoning"的名字是从哪里来的？我用谷歌搜索但找不到任何相关答案。
它其实并不是一个真正的名字，只是一个经过反复使用而标准化的描述。 "Equational reasoning" 只是推理，即 "equational"；即它涉及方程.
涉及的思路是，这一系列改写：
fmap even . fmap (+1)
fmap (even . (+1))
fmap (\x -> even (x +1))
fmap odd
涉及与这一系列重写相同的种类思考：
(x + 1)(x - 1)
x^2 + x - x - 1
x^2 - 1
在这两种情况下，您都使用您知道通常成立的 fmap f . fmap g = fmap (f . g) 或 (a + b)(c + d) = ac + ad + bc + bd 等式，并使用它们将您的条款转换为 可证明等价。 方程式 是关键，之前已证明它成立（最好由其他人 ;)）。