haskell - Haskell 中 id 函数的类型

Question

在 GHCI 中，id 的类型为:

Prelude> :t id
id :: a -> a

但是如果我定义自己的 id 函数，为什么类型变量的名称是 t ？ t 和 a 之间有区别吗？

Prelude> let identity x = x
Prelude> :t identity
identity :: t -> t

Answer 1

a 和 t 之间没有区别，它们称为类型变量，代表您可以拥有的任何类型。请注意，它们以小写字母书写，而类型则以大写字母开头(列表除外，它们具有特殊的语法)。

此外，如果你编写一个文件并通过ghci testmodule.hs加载到ghci

module Testmodule where

identity :: b -> b
identity x = x

然后 ghci 将准确地显示您在定义中使用的字母。