sw-MLPL: 在急求语言中实现Y组合子递归
Show HN: Combinators in Array Languages

这是一个在sw-MLPL这种急求数组语言中实现Y组合子的技术探索项目。作者巧妙地将Raymond Smullyan《To Mock a Mockingbird》中的组合子鸟群概念引入代码,特别是实现了Sage(圣鸟)组合子。尽管语言本身是急求的,项目通过延迟求值技巧成功实现了无命名递归,让阶乘和斐波那契数列等函数无需显式递归定义即可运行。这不仅展示了函数式编程的优雅,也验证了急求语言处理固定点的可行性,为APL家族语言的递归机制提供了有趣的对比视角。
递归无需命名,无需赋值,无需def——Sage将函数体武装到牙齿,完美地交还给它自己。