variables - Haskell 有变量吗？

Question

我经常听到有人声称 Haskell 没有变量；特别是this answer声称没有，并且它被投票了至少九次并被接受。

那么它是否有变量，为什么？

这个问题似乎也适用于 ML、F#、OCaml、Erlang、Oz、Lava 以及所有 SSA中间语言。

Answer 1

Haskell 默认具有不可变变量(数学意义上的变量):

 foo x y = x + y * 2

默认情况下，变量不是可变单元格。

Haskell 也有可变单元格，但您可以显式启用它们:

 > import Data.IORef (newIORef, readIORef, writeIORef)
 > v <- newIORef 0
 > readIORef v
 0

 > writeIORef v 7
 > readIORef v
 7

所以，是 Haskell 拥有真正的变量。但它默认不使用可变变量。