默认情况下具有不可变变量的语言，例如 Haskell

Question

我对 Haskell 感兴趣的一件事是函数和变量是如何相同的。在大多数语言中，变量保存一个值，而函数则执行某些操作，然后最终返回一个值。在 Haskell 中，你看不到这种差异，并且在使用 Haskell 后，回到更“传统”的编程（其中变量与函数或方法不同）会感觉很尴尬。如果我想获取一个值，我不应该真正担心它的来源，无论它是常量值、可变变量还是复杂计算的结果！在 Haskell 中，变量只是 0 元函数。

许多面向对象的语言都有一些让人感觉有点差距的属性。

任何人都可以用类似于 Haskell 的系统来指示任何其他语言吗？我认为由于引用透明性，这在函数式语言中很常见，但我发现情况并非如此。例如，在 Lisp 中，您可以使用 (defun) 来显式声明函数。

Answer 1

任何人都可以用类似于 Haskell 的系统指示任何其他语言吗？

有几种语言默认具有不可变变量（即数学意义上的变量）：

• Haskell（显然）、
• Clean、
• Erlang、
• ML。

其他人通过“const”或“val”声明鼓励这种行为（Scala、C）。

在许多函数式语言中，可变值只能通过显式的“ref”或“var”声明来引入。

Answer 2

在 Clojure 中，defn 只是 def 的宏。变量是不可变的并且它们保存值。函数只是值，就像任何其他类型的值一样。值是否实际上是函数(Fn)并不重要，重要的是该类型的值是否实现函数接口(IFn)。

澄清最后一点，Java 原始数组不是函数。我可能希望将其视为 Clojure 序列，我可以创建一个包装类型，允许我在原始数组上呈现该接口 (ISeq)。我还可以让包装类型实现 IFn，然后原始数组也可以被视为函数。

(def x (wrap-prim-array ...))

(nth x 0) ; idiomatic random access
(x 0)     ; used as a function

Answer 3

不要忘记 JavaScript。

var a = function(x) { return (x + 1) };
var b = a(1);
// b == 2 here.

是完全合法的。