我正在研究算法 W。据我了解，算法 W 以 (Γ,expr) 作为输入，其中 Γ 是上下文，而 expr 是表达式。输出是一个替代σ。然后我可以使用替换 σ 将另一个 (Γ,expr) 作为 σ(Γ,expr)。
让我困惑的是接下来要做什么。由于 expr 可以有以下情况：变量、抽象、应用程序、条件、定点表达式和 let 表达式。
有不同的 expr 案例的目的是什么？下一步我应该做什么？
我正在研究算法 W。据我了解，算法 W 以 (Γ,expr) 作为输入，其中 Γ 是上下文，而 expr 是表达式。输出是一个替代σ。然后我可以使用替换 σ 将另一个 (Γ,expr) 作为 σ(Γ,expr)。
让我困惑的是接下来要做什么。由于 expr 可以有以下情况：变量、抽象、应用程序、条件、定点表达式和 let 表达式。
有不同的 expr 案例的目的是什么？下一步我应该做什么？