posts - 82,  comments - 84,  trackbacks - 0
  2019年6月2日
摘要:我们根据上一章最开始的相互递归转一般递归的方法,结合Y Combinator,来对第一章的append实现做一下测试。 上述实现中,append和_append互相递归。 按照第二章中相互递归转普通递归的方法,我们可以定义一个高阶函数append-high, 使得(append-high 1)就是a 阅读全文
posted @ 2019-06-02 21:42 窗户 阅读(153) 评论(0) 推荐(0) 编辑