是否存在变量实际上是函数的编程语言？

Question

例如，我会写：

x = 2
y = x + 4
print(y)
x = 5
print(y)

它会输出：

6 (=2+4)
9 (=5+4)

另外，是否有任何情况下这实际上有用？

澄清：是的，lambda 等解决了这个问题（它们是我得出这个想法的方式）；我想知道是否有特定语言的默认设置：不需要函数或 lambda 关键字。

Answer 1

Haskell 会向你妥协，因为本质上一切都是函数，但变量只能绑定一次（这意味着你不能在同一范围内重新分配 x）。

很容易将 y = x + 4 视为变量赋值，但是当您查看 y = map (+4) [1..]（这意味着将 4 添加到无限列表中从 1 开始的每个数字），现在 y 是多少？它是一个无限列表，还是一个返回无限列表的函数？ _{（提示：这是第二个。）} 在这种情况下，在利用 懒惰。

实际上，在 Haskell 中，y 的定义是一个不接受参数并返回 x+4 的函数，其中 x 也是一个函数，它接受无参数，但返回值 2。

---

在任何具有一阶函数的语言中，将匿名函数分配给变量都很简单，但对于大多数语言，您必须添加括号来指示函数调用。

Lua 代码示例：

x = function() return 2 end
y = function() return x() + 4 end
print(y())
x = function() return 5 end
print(y())

$ lua x.lua
6
9

或者 Python 中的相同内容（坚持使用一阶函数，但我们可以只使用普通整数表示 x）：

x = lambda: 2

y = lambda: x() + 4

print(y())

x = lambda: 5

print(y())

$ python x.py
6
9

Answer 2

您可以在 C# 中使用 func 表达式

Func<int, int> y = (x) => x + 5;
Console.WriteLine(y(5)); // 10
Console.WriteLine(y(3)); // 8

...或者...

int x = 0;
Func<int> y = () => x + 5;
x = 5;
Console.WriteLine(y()); // 10
x = 3;
Console.WriteLine(y()); // 8

...如果您确实想以函数式风格进行编程，第一个选项可能是最好的。

1. 它看起来更像你在数学课上看到的东西。
2. 您不必担心外部状态。

Answer 3

查看各种函数式语言，例如 F#、Haskell 和 Scala。 Scala 将函数视为具有 apply() 方法的对象，您可以将它们存储在变量中并像传递任何其他类型的对象一样传递它们。我不知道你可以将 Scala 函数的定义打印为代码。

更新：我似乎记得至少有一些 Lisp 允许你将函数漂亮地打印为代码（例如，Scheme 的漂亮打印函数）。

Answer 4

这就是电子表格的工作方式。

它还与用于评估函数参数的按名称调用语义相关。 Algol 60 有这个功能，但没有流行起来，因为实现起来太复杂了。

Answer 5

编程语言 Lucid 会执行此操作，尽管它调用 x 和 y “流”而不是函数。
程序会这样写：

y
  where
    y = x + 4
  end

然后你输入：

 x(0): 2
   y = 6
 x(1): 5
   y = 7

当然，Lucid（像大多数有趣的编程语言一样）相当晦涩，所以我对没有其他人发现它并不感到惊讶。 （或者寻找它）

Answer 6

尝试在此处和关于函数式编程语言的维基百科。

我自己还没有研究过这些类型的语言，因为我一直专注于 OOP，但一旦 F# 发布，我很快就会深入研究。

希望这有帮助！

Answer 7

我见过的最接近的是图表组件中技术分析系统的一部分。 （Tradestation、metastock 等），但主要侧重于返回多组元数据（例如买入/卖出信号），然后将这些元数据输入到接受元数据或财务数据或直接绘制的其他函数中。

我的2c：
我想说，至少可以说，您建议的语言会非常令人困惑。函数通常是 r 值是有充分理由的。此代码 (javascript) 显示了如何将函数强制作为 r 值提高可读性（从而提高维护性）n 倍：

var x = 2;
var y = function() { return x+2; }
alert(y());
x= 5;
alert(y());

Answer 8

Self 不区分字段和方法，两者都是槽，可以在完全相同的方式。槽可以包含一个值或一个函数（因此这两个仍然是单独的实体），但区别对于槽的用户来说并不重要。

Answer 9

在 Scala 中，函数中有惰性值和按名称调用参数。

def foo(x : => Int) {
    println(x)
    println(x) // x is evaluated again!
}

在某种程度上，这可以达到您想要的效果。

Answer 10

我相信面向数学的语言，例如 Octave、R 和 Maxima 就是这样做的。我可能是错的，但没有人提到过它们，所以我想我会的。