Haskell趣学指南-学习笔记（5）

:t 命令处理一个表达式的输出结果为表达式后跟 :: 及其类型， :: 读作"它的类型为"。

凡是明确的类型，其 首字母必为大写。

  => 符号。它左边的部分叫做类型约束。我们可以这样阅读这段类型声明： " 相等函数取

两个相同类型的值作为参数并回传一个布尔值，而这两个参数的类型同在 Eq 类之中 ( 即类型约束 )"。

ghci> :t (==)
(==) :: (Eq a) => a -> a -> Bool