函数表示环境中值的查找逻辑咨询（对比BST环境）

我完全懂你的困惑！毕竟BST的树状节点结构太直观了——左子树、右子树、根节点，找值的时候就是一路比大小往下走。但函数式的环境完全是另一种思路，咱们一点点拆解清楚。

其实函数式里的“环境”，通常不是用节点对象来存的，而是用闭包或者链式的函数结构来模拟的。简单说，每个环境其实是一个函数，它要么能返回对应名称的值，要么就把查询委托给外层的“父环境”。

• BST的查找是基于树的分支选择：拿目标值和当前节点值比，小的走左，大的走右，直到找到或者碰到空节点。
• 函数式环境的查找是基于链式的委托调用：你给当前环境传一个名称，它先检查自己有没有这个名称的绑定，如果有就返回；如果没有，就把这个查询传给它“记住”的外层环境，直到找到最顶层的环境（如果还没找到就报错）。

假设我们用Python实现一个函数式环境，大概是这样的：

def make_env(parent_env, name, value):
    def env(query_name):
        # 先检查当前环境的绑定
        if query_name == name:
            return value
        # 没找到就委托给父环境
        return parent_env(query_name)
    return env

# 顶层环境：找不到就抛出错误
def top_level_env(query_name):
    raise ValueError(f"名称 '{query_name}' 未在环境中找到")

# 构建环境链：顶层环境 -> 绑定x=5 -> 绑定y=10
env_with_x = make_env(top_level_env, "x", 5)
env_with_x_y = make_env(env_with_x, "y", 10)

# 查找y：当前环境直接有，返回10
print(env_with_x_y("y"))  # 输出 10
# 查找x：当前环境没有，委托给上层的env_with_x，返回5
print(env_with_x_y("x"))  # 输出 5
# 查找z：一路委托到顶层，触发错误
# print(env_with_x_y("z"))  # 抛出 ValueError

你看，这里根本没有树节点，每个env都是一个函数，它内部通过闭包记住了自己的绑定和父环境。查找的时候就是函数的嵌套调用，一层一层往上找，直到找到或者触发顶层的错误。

这种函数式的环境其实是在模拟编程语言里的作用域链——比如局部作用域、全局作用域，当你引用一个变量时，先在当前作用域找，找不到就去外层作用域找，直到全局。用函数闭包实现的方式，天然就能模拟这种链式的查找逻辑，而且非常简洁，不需要维护复杂的树结构。

内容的提问来源于stack exchange，提问作者BearsBeetBattlestar