问用于简单递归数据类型的Haskell基本显示实例

EN

如果您试图编译这个简单的程序，就会遇到相同的错误：

main = print []

什么？Haskell不能打印空列表？这是正确的，不能。也就是说，除非列表元素的类型是已知的。在这种情况下不知道，所以编译失败。为了了解原因，运行以下两个程序：

main = print ([] :: [Int])
main = print ([] :: [Char])

输出是不同的，尽管这些程序之间唯一的区别是空列表的类型。

但是，如果您在ghci中尝试相同的模棱两可的程序，它将很好地打印[]！

Prelude> let main = print []
Prelude> main
[]
Prelude>

这是因为ghci的https://downloads.haskell.org/~ghc/7.10.1/docs/html/users_guide/interactive-evaluation.html设置比ghc稍微宽松一些。因此，如果您将数据类型定义加载到ghci，并在提示符下表示print L，ghci将乐于服从：

[1 of 1] Compiling Main             ( h.hs, interpreted )
Ok, modules loaded: Main.
*Main> print L
Empty
*Main>

在函数main中，当您编写let a = L时，a的类型就是List a0。当编译器试图知道它必须使用的Show实例的哪个版本时，所有类型都适合，因为a的类型没有完全定义。但是，如果删除行print a，您将看到print b将工作，因为b的类型只能是List String，而且编译器确切地知道必须使用哪个版本的show。

main = do
  print "10-2"
  let a = L
  let b = E "abc" a
  -- print a
  print b

尝试编写print []，您将看到编译器给出了相同的错误。

但是，在ghci中，如果只键入print L或print []，则不会提示错误。我不知道为什么会这样。

正如其他人已经说过的，您需要给您的列表一个类型，即使不需要它来创建自己。

所以试一试：

print (L :: List Int) 

或任何您喜欢的只要打印一个字符串的显示实例(列表a)