原始递归
我将如何使用原始递归定义函数“简化”？
简化 :: Expr -> 表达式
...
简化 使用基本算术简化表达式，例如 简化 (Plus (Var "x") (Const 0)) = Var "x"
how will i define the function 'simplify' using primitive recursion?
simplify :: Expr -> Expr
...
simplify
Simplify an expression using basic arithmetic, e.g.
simplify (Plus (Var "x") (Const 0)) = Var "x"
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论