有没有可计算但不可柯里化的函数？

Question

对不起，如果我有点迷路。 我最近开始学习不同的编程语言范例，我发现所有文本都假定所有用编程语言编写的函数都是可修改的。 我还没有看到这方面的任何证据，在寻找了一段时间后，我找到了有关笛卡尔闭类别的信息。我的数学知识非常有限，所以我不知道这是否适用于图灵机可以完成的所有事情。我的猜测是这样的事情已经被证明（或者可能是显而易见的，我的知识太有限了）。先感谢您。

我试图在谷歌中找到一些答案，但我运气不好。

Answer 1

没有上下文很难回答这个问题。柯里化意味着接受一对参数的函数等同于一个参数的函数返回第二个参数的函数。因此，显然，在函数不是一等公民的编程语言中，柯里化没有意义，因为您不能返回函数。另一方面，在函数式语言中，柯里化是从一开始就内置的。在一切都是函数的 lambda 演算中，对本身被定义为返回函数的函数。