到底什么是局部推理？

Question

什么是局部推理？它与参照透明度、等式推理和惰性有何关系？

Answer 1

（添加评论链接中的定义，只是为了避免仅链接答案）

来自http://degoes.net/articles/fp-glossary

局部推理是某些代码的属性，其中可以在指定的假设下局部推断代码的正确性，而无需考虑先前的应用程序状态或所有可能的输入。