μ-recursive (mu-recursive) 函数式语言中的函数答案

【问题标题】：μ-recursive (mu-recursive) function in a functional languageμ-recursive (mu-recursive) 函数式语言中的函数
【发布时间】：2011-02-16 23:16:53
【问题描述】：

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

【问题讨论】：

你能详细说明你的问题吗？你用函数式语言编写的每个函数都是 mu-recursive。
哦。我很困惑。我的意思是WP article above 中描述的最小化运算符μ：“直观地说，最小化会找到导致函数返回零的最小参数，前提是该函数是为所有较小的参数定义的。”这是从 0 到使 f(x)=0 的第一个 x 的明显迭代吗？（对于一元函数 f）。

标签： functional-programming

【解决方案1】：

据我所知，答案正是您给出的答案。遍历所有参数，直到找到返回零的参数。对于多个参数的函数，您对角化。即 (0,0), (1,0), (0,1), (1,1), (2,0), (2,1), (0,2), (1,2), (2,2) 等

【讨论】：