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

Question

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

许多面向对象语言的属性感觉有点差距。

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

Answer 1

Can anyone indicate any other language with a system similar to Haskell?

几种语言默认具有不可变变量(即数学意义上的变量):

• haskell (显然)，
• 干净，
• 二郎，
• 机器学习。

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

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