在Haskell中t0，t1，t2和a0是什么意思？

Question

我已经在Haskell编码了几个星期了，我一直看到t0，t1，t2和a0的错误。我想知道，他们有什么特别的意义，或者他们只是变量吗？我在问，因为我想更好地理解编译器向我吐出的错误。

Answer 1

不，他们没有任何特别的意义。正如您所注意到的，它们只是表示任意类型的变量。这些变量的编号（t0，t1，t2等）与类型检查过程的内部结构有关，据我所知也没有特别的意义。

Answer 2

为您的函数编写显式类型签名，然后您的错误将使用您编写的（希望更有意义的）名称。