随笔 - 82,  文章 - 0,  评论 - 95,  阅读 - 22万
  2019年6月2日
相互递归(3)
摘要： 我们根据上一章最开始的相互递归转一般递归的方法，结合Y Combinator，来对第一章的append实现做一下测试。 上述实现中，append和_append互相递归。 按照第二章中相互递归转普通递归的方法，我们可以定义一个高阶函数append-high， 使得(append-high 1)就是a 阅读全文
posted @ 2019-06-02 21:42 窗户 阅读(329) 评论(0) 推荐(0) 编辑
Copyright © 2025 窗户
Powered by .NET 9.0 on Kubernetes Powered By: 博客园
< 2025年3月 >
日 一 二 三 四 五 六
23 24 25 26 27 28 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5

点击右上角即可分享
微信分享提示