Inside of solve, solve creates an environment where inside of that, it has bindings for the parameters it's going to use. All right?

在solve内部，solve创建了一个环境,在这个环境中它给她要使用的形参赋了值,明白吗？就像很多--等等？

麻省理工公开课 - 计算机科学及编程导论课程节选

I'm going to repeat this a second time, because it's important. These local bindings do not affect any global bindings.

因为这非常重要，这些本地绑定,并不影响全局绑定。

麻省理工公开课 - 计算机科学及编程导论课程节选