摘要：
强大的类型系统是Haskell的一个非常大的优势。Haskell所有表达式类型在编译期判断。这样的话，可以使得代码更加安全，比如说，拿一个整数和一个字符串进行除法运算是没办法进行的，那么在编译器就会直接报错，不会等到运行时程序崩溃才知道。Haskell与Java不一样，Haskell能够进行类型推断(Type Inference)，也就是说，你不需要明确的说100是个数字，或者说是整型，编译期能推断出这是一个整型。在GHCi中，我们可以使用:t 命令来检测一个表达式的类型。Prelude> :t 'q' 'q' :: CharPrelude> :t 阅读全文
