μ-函数式语言中的递归（mu-recursive）函数
我想知道如何用任何函数式编程语言编写 μ-递归函数 ？
I am wondering how to write μ-recursive function in any functional programming language?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
据我所知，答案正是您所给出的。迭代所有参数，直到找到一个返回零的参数。对于具有多个参数的函数，可以进行对角化。即(0,0)、(1,0)、(0,1)、(1,1)、(2,0)、(2,1)、(0,2)、(1,2)、 (2,2) 等
The answer is, as far as I know, precisely what you gave. Iterate over all arguments until you hit one that returns zero. For functions of more than one argument, you diagonalize. i.e., (0,0), (1,0), (0,1), (1,1), (2,0), (2,1), (0,2), (1,2), (2,2), etc.