haskell - 在 Haskell 中，可变性是否总是必须反射(reflect)在类型系统中？

Question

我是 Haskell 的新手，所以如果这个问题很愚蠢，请原谅。

假设我们有两个数据结构绑定(bind)到名称 x 和 y。

x 是可变的。

y 不是。

作为一个问题或原则，x 是否一定与 y 具有不同的类型？

Answer 1

简短的回答:是的。

在 Haskell 中，所有变量在技术上都是不可变的。与 JavaScript 不同，一旦您在 Haskell 中定义了一个新变量并将其绑定(bind)到初始值:

let x = expression1 in body1

这是它永远的值(value)。在 body1 中使用 x 的任何地方，它的值都保证是 expression1 的(固定)值。 (好吧，从技术上讲，您可以在 body1 中定义一个全新的不可变变量 x，然后在 body 中定义一些 x可能会引用那个新变量，但那是完全不同的事情。)

Haskell 确实有可变的数据结构。我们通过创建一个新的可变结构并将其绑定(bind)到一个不可变变量来使用它们:

do ...
   xref <- newIORef (15 :: Int) 
   ...

这里，xref 本身 的值不是整数 15。相反，xref 被分配了一个不可变的、不可显示的值，用于标识当前内容为 15 的“容器”。要使用此容器，我们需要明确地从中提取值，我们可以将其分配给不可变变量:

  value_of_x_right_now <- readIORef xref

并明确地将值放入其中:

  writeIORef xref (value_of_x_right_now + 15)

关于这些值，以及通常需要通过 IO 或另一个 monad 中的 monadic 操作访问它们的方式，显然还有很多可以说的。

但是，即使撇开这一点，也应该清楚整数 15 和“内容初始化为整数 15 的容器”是具有必然不同的对象类型。在本例中，类型分别为 Int 和 IORef Int。

因此，数据结构的可变性必然会反射(reflect)在类型级别，仅仅是因为 Haskell 中的可变性是通过这些类型的“容器”实现的，并且值的类型与包含该值的容器的类型。