在Haskell中t0,t1,t2和a0是什么意思?

Pau*_*ar. 8 haskell ghci

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

Vla*_*eev 11

不,他们没有任何特别的意义.正如您所注意到的,它们只是表示任意类型的变量.这些变量(的编号t0,t1,t2等)相关的类型检查过程内部,也并不意味着什么特别,因为据我所知.