haskell - 记录没有无限类型错误

Question

当我在 Haskell (GHC) 中定义类似的东西时，为什么没有列表样式的无限类型错误？

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

它编译时没有类型错误，但显然它是一个不可用的类型:我必须定义

foo = splinter 的“一”( splinter 的“二”( splinter 的“三”) ...

Answer 1

没有任何损坏。定义该类型的值是完全可能的:

foo = Broken "one" foo

基本上，这与定义没有 nil 值的列表类型是一样的(这也是完全合法的)。定义该类型的值是完全可能的，但所有这些值都必须是无限的。