Y-combinator 并没有什么作用
我尝试使用 Y-combinator(在 Lua 和 Clojure 中)因为我认为它可以允许我在使用递归时超过默认堆栈大小实现。但是事实并非如此。是的,它能工作,但在这两个系统中,堆栈吹到与使用纯递归相同的点。在 Clojure 中是低于 3600,在我的 Android Lua 实现中是高达约 333000。它也比常规递归略慢。
那么使用 Y-combinator 是否有所收获,或只是一个证明观点的学术练习?我错过了什么吗?
===
PS. 对不起,我应该更清楚地表明我知道我可以使用 TCO 来超过堆栈。我的问题与此无关。我对此有兴趣 a) 从学术 / 知识分子的角度 b) 是否有什么可以针对那些无法写成尾递归的函数的问题。
Y 组合子允许非递归函数被用作递归,但是递归仍然通过嵌套函数调用消耗栈空间。
对于无法变成尾递归的函数,您可以尝试使用 continuation passing style 进行重构,这将消耗堆空间而不是栈空间。
这里有一个关于这个主题的好概述:https://www.cs.cmu.edu/~15150/previous-semesters/2012-spring/resources/lectures/11.pdf
如果您还没有看过的话,这里有一个很好的解释:什么是 Y 组合器?
简而言之,它有助于证明λ演算是图灵完备的,但对于普通编程任务来说是无用的。
正如您可能知道的那样,在Clojure中,您只需使用loop /recur来实现不消耗堆栈的循环。
- Lua 虚拟机加密load(string.dump(function)) 后执行失败问题如何解决
- 我想创建一个 Nginx 规则,禁止访问
- 如何将两个不同的lua文件合成一个 东西有点长 大佬请耐心看完 我是小白研究几天了都没搞定
- 如何在roblox studio中1:1导入真实世界的地形?
- 求解,lua_resume的第二次调用继续执行协程问题。
- 【上海普陀区】内向猫网络招募【Skynet游戏框架Lua后端程序员】
- SF爱好求教:如何用lua实现游戏内调用数据库函数实现账号密码注册?
- Lua实现网站后台开发
- LUA错误显式返回,社区常见的规约是怎么样的
- lua5.3下载库失败
- 请问如何实现文本框内容和某个网页搜索框内容连接,并把网页输出来的结果反馈到另外一个文本框上
- lua lanes多线程使用
- 一个kv数据库
- openresty 有没有比较轻量的 docker 镜像
- 想问一下,有大佬用过luacurl吗
- 在Lua执行过程中使用Load函数出现问题
- 为什么 neovim 里没有显示一些特殊字符?
- Lua比较两个表的值(不考虑键的顺序)
- 有个lua简单的项目,外包,有意者加微信 liuheng600456详谈,最好在成都
- 如何在 Visual Studio 2022 中运行 Lua 代码?

一个“尾调用”允许您超出任何堆栈大小的限制。请参见《Lua编程》第6.3节:适当的尾调用: