記錄沒有無限類型錯誤

Question

為什么當我在 Haskell (GHC) 中定義這樣的東西時，沒有列表樣式的無限類型錯誤？

data Broken = Broken { title :: String,
                       loop  :: Broken }

它編譯時沒有類型錯誤，但顯然它是一種無法使用的類型：我必須定義

foo = Broken "one" (Broken "two" (Broken "three" ...

Answer 1

沒有任何問題。 完全可以定義該類型的值：

foo = Broken "one" foo

基本上這與定義一個沒有 nil 值的列表類型是一樣的（這也是完全合法的）。 完全可以定義該類型的值，但所有這些值都必須是無限的。

Answer 2

如果你定義

type Foo = (String, Foo)

然后你應該得到這個錯誤： Cycle in type synonym declarations 。

但是如果你定義

data Foo = Foo String Foo

你沒有這樣的錯誤。

練習：解釋這兩種情況的區別。