标签： haskell lambda functional-programming lambda-calculus
我将如何使用原始递归定义函数'simplify'？
简化:: Expr - ＆gt; EXPR ......
简化 使用基本算法简化表达式，例如 简化（Plus（Var“x”）（Const 0））= Var“x”