featheast的专栏

这学期选了一门很变态的课，看上去似乎及其简单，学期的头几周也过得十分愉快，但是到了后面出现了Functional Programming和 LogicalPrograming，生活就开始暗淡无光了。于是决定好好从头开始，再把这两套语言粗略的学习一遍。首先从FP开始，主要的总结内容都是摘自RealWorldHaskell这本书。的确是一本好书，可以再http://book.realw

1. 在Haskell中，所有的表达式和函数都拥有类型，和其他常见的语言一样，类型代表了它所拥有的特性。Haskelld类型归纳起来，可以用三点表示：强类型，静态类型和自动引用。1） 强类型(Strongtypes)：所谓强类型，是指类型系统保证了程序不会出现特定的类型匹配错误。对于符合语言类型规定的程序我们称之为WellTyped，反之IllTyped。比如对于一个需要参数为In