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