假设某个编程语言不支持函数调用本身,如何实现递归
本文用于记录我在阅读康托尔、哥德尔、图灵——永恒的金色对角线时的思考和实现(主要是其中的YCombinator部分),因此本文不会完整地叙述前因后果。
举个例子,使用常见的语言,任何人都能毫不费力地写出一个阶乘函数。下面用JavaScript举例:
function factorial(n) {
if (n === 1) return 1;
return n * factorial(n-1); // 调用了本身
}
factorial(4); // 24
但是,一个有意思的思考是,假设当前语言不支持函数调用自身,我们应该如何实现这种递归?
方式1
以下js代码可以直接运行,并且其中没有使用js的递归能力。
function _factorial(self, n) {
if (n === 1) return 1;
return n * self(self, n-1);
}
function factorial(n) {
return _factorial(_factorial, n);
}
factorial(4); // 24
思路是,虽然函数不能直接引用自己,但是可以使用参数!如果调用者把_factorial作为参数传递给_factorial,那么_factorial就能通过参数拿到“自己”。
这个思路可以用来实现任何递归函数。
这个方式的坏处是,在进行自我指涉的时候,你必须像self(self, n-1)
这样,将self作为第一个参数传给self。这里的self并不是真正的factorial,self的参数接口为了进行自我指涉而做出了妥协。
方式2:YCombinator
以下js代码可以直接运行,并且其中没有使用js的递归能力。
const _factorial = (getSelf) => (n) => {
if (n === 1) return 1;
const self = getSelf();
return n * self(n-1);
}
function YCombinator(F) {
const f_gen = (self) => F(() => self(self));
return f_gen(f_gen);
}
const factorial = YCombinator(_factorial);
factorial(4); // 24
YCombinator是通用的,可以求解任何高阶函数的不动点。YCombinator可以帮助我们在不支持递归的语言中实现递归。比如,斐波那契数的计算:
const _fib = (getSelf) => (n) => {
if (n === 0 || n === 1) return n;
const self = getSelf();
return self(n-1) + self(n-2);
}
function YCombinator(F) {
const f_gen = (self) => F(() => self(self));
return f_gen(f_gen);
}
const fib = YCombinator(_fib);
// 斐波那契数列:0 1 1 2 3 5 8
fib(6); // 8
参考资料
csRyan的学习专栏
分享对于计算机科学的学习和思考,只发布有价值的文章: 对于那些网上已经有完整资料,且相关资料已经整...
So you're passionate? How passionate? What actions does your passion lead you to do? If the heart...
1.1k 声望
181 粉丝
推荐阅读
手写一个Parser - 代码简单而功能强大的Pratt Parsing
在编译的流程中,一个很重要的步骤是语法分析(又称解析,Parsing)。解析器(Parser)负责将Token流转化为抽象语法树(AST)。这篇文章介绍一种Parser的实现算法:Pratt Parsing,又称Top Down Operator Precede...
csRyan阅读 2.7k
正则表达式实例
收集在业务中经常使用的正则表达式实例,方便以后进行查找,减少工作量。常用正则表达式实例1. 校验基本日期格式 {代码...} {代码...} 2. 校验密码强度密码的强度必须是包含大小写字母和数字的组合,不能使用特殊...
寒青赞 56阅读 8.4k评论 11
JavaScript有用的代码片段和trick
平时工作过程中可以用到的实用代码集棉。判断对象否为空 {代码...} 浮点数取整 {代码...} 注意:前三种方法只适用于32个位整数,对于负数的处理上和Math.floor是不同的。 {代码...} 生成6位数字验证码 {代码...} ...
jenemy赞 48阅读 6.8k评论 12
从零搭建 Node.js 企业级 Web 服务器(十五):总结与展望
总结截止到本章 “从零搭建 Node.js 企业级 Web 服务器” 主题共计 16 章内容就更新完毕了,回顾第零章曾写道:搭建一个 Node.js 企业级 Web 服务器并非难事,只是必须做好几个关键事项这几件必须做好的关键事项就...
乌柏木赞 75阅读 7k评论 16
再也不学AJAX了!(二)使用AJAX ① XMLHttpRequest
「再也不学 AJAX 了」是一个以 AJAX 为主题的系列文章,希望读者通过阅读本系列文章,能够对 AJAX 技术有更加深入的认识和理解,从此能够再也不用专门学习 AJAX。本篇文章为该系列的第二篇,最近更新于 2023 年 1...
libinfs赞 42阅读 6.8k评论 12
从零搭建 Node.js 企业级 Web 服务器(一):接口与分层
分层规范从本章起,正式进入企业级 Web 服务器核心内容。通常,一块完整的业务逻辑是由视图层、控制层、服务层、模型层共同定义与实现的,如下图:从上至下,抽象层次逐渐加深。从下至上,业务细节逐渐清晰。视图...
乌柏木赞 45阅读 8.4k评论 6
从零搭建 Node.js 企业级 Web 服务器(二):校验
校验就是对输入条件的约束,避免无效的输入引起异常。Web 系统的用户输入主要为编辑与提交各类表单,一方面校验要做在编辑表单字段与提交的时候,另一方面接收表单的接口也要做足校验行为,通过前后端共同控制输...
乌柏木赞 35阅读 6.6k评论 10
So you're passionate? How passionate? What actions does your passion lead you to do? If the heart...
1.1k 声望
181 粉丝
宣传栏
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。