Kein unendlicher Typ Fehler für Datensätze

Question

Warum gibt es keine List-style unendlich Typfehler, wenn ich so etwas in Haskell (GHC) definieren?

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

Es kompiliert ohne Typen Fehler, aber es ist eindeutig eine ungeeignete Art: Ich würde

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

Answer 1

Es gibt nichts gebrochen, darüber zu definieren. Es ist durchaus möglich, einen Wert dieses Typs zu definieren:

foo = Broken "one" foo 

Im Grunde ist es das gleiche wie die Definition einer Liste Typ, der keinen Nullwert hat (was auch vollkommen legal ist). Es ist durchaus möglich, Werte dieses Typs zu definieren, aber alle diese Werte müssen unendlich sein.

Answer 2

Wenn Sie

type Foo = (String, Foo) 

definieren Dann sollten Sie diesen Fehler erhalten: Cycle in type synonym declarations.

Aber wenn Sie

data Foo = Foo String Foo 

definieren erhalten Sie keinen solchen Fehler.

Übung: Erklären Sie den Unterschied zwischen diesen beiden Situationen.