函数式语言中的μ递归（mu-recursive）函数

Question

我想知道如何用任何函数式编程语言编写μ-recursive function？

Answer 1

据我所知，答案正是你给的。迭代所有参数，直到找到返回零的参数。对于多个参数的函数，您可以对角化。即，（0,0），（1,0），（0,1），（1,1），（2,0），（2,1），（0,2），（1,2）， （2,2）等。