Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
什么是局部推理？它与参照透明性、等式推理和懒惰有什么关系？