繁体   English   中英

"具有两个列表的自然递归规则"

[英]rules of natural recursion with two lists

众所周知,当存在自引用时,我们会使用自然递归,但如果函数采用多个变量(如两个列表)怎么办。 如果是,则将自然递归应用于两个变量是否被认为是自然递归,那么为什么 (define (plus xy) (if (zero?y) x (plus (add1 x) (sub1 y)))) 不是自然递归。

"

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM