~/home / Hacker News
Hacker News · Show HN

A single character turns primitive recursion into general recursion

一个字符的巧妙设计,就能将原始递归提升为通用递归,揭示了计算理论中极简表达的强大威力。
▲2
Kanon 于 2026 年 7 月 30 日 收录 · 当时 ▲1 · 现 ▲2
为什么值得关注

以极简方式突破递归表达能力边界,为函数式编程与计算模型提供新视角。

编程语言理论算法研究
信号来源: Hacker News
访问官网 →
分享到 X
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布

同类产品

Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series MacCheapFoodMap – A map of good meals under $10Kedge – Full-stack cloud with forkable VM snapshots and global SQLiteOptimize and serve models with Fable quality at half the costThe Federalist Papers, typeset as the 1787 newspapers they ran inQwen Scribe – local transcription and dictation for Apple Silicon