Haskell支持未綁定變量嗎？

Question

Haskell是否支持unbound variables的概念，如Oz programming language？

Answer 1

根據（monadic）上下文中的值，Haskell僅支持變量。一旦你看到這些，有一些像MVar這確實可以是空的。

如果你想表示一個值的簡單可空性，儘管如此，Maybe a是一個完美的方法來做到這一點，與實際值分開是一個可變的引用或只是一個不可變的東西。

---

擴大和說明：

newIORef :: a -> IO (IORef a) 

但我們可以很容易地編寫newEmptyIORef這樣：

newEmptyIORef :: IO (IORef (Maybe a)) 
newEmptyIORef = newIORef Nothing 

注意到，Maybe (IORef a) ≠ IORef (Maybe a)。