那些年，为了学分，我们学会了面向过程编程；

那些年，为了就业，我们学会了面向对象编程；

那些年，为了生活，我们学会了面向工资编程；

那些年，为了升职加薪，我们学会了面向领导编程；

那些年，为了完成指标，我们学会了面向指标编程；

……

那些年，我们学会了敷衍地编程；

那些年，我们编程只是为了敷衍。

Haskell

类型定义行为的接口，如果一个类型属于某类型类，那它必实现了该类型类所描述的行为。

很多从OOP走过来的人们往往会把类型类当成面向对象语言中的类而感到疑惑，它们不是一回事。可以把它看做是java中接口（interface）的类似物。

判断相等的==运算符是函数，+-*/之类的运算符也是同样。在默认条件下，它们多为中缀函数。若要检查它的类型，就必须得用括号括起使之作为另一个函数，或者说以前缀函数的形式调用它。

Eq包含可判断相等性的类型。提供实现的函数是==和/=。所以，只要一个函数有Eq类的类型限制，那么它就必定在定义中用到了==和/=。除函数之外的所有类型都属于Eq，所以它们都可以判断相等性。

Ord包含可比较大小的类型。除了函数以外，所有类型都属于Ord类。Ord包中包含了,=之类用于比较大小的函数。compare函数取两个Ord类中的相同类型的值作参数，返回比较的结果。

类型若要成为Ord的成员，必先加入Eq家族。

第五周作业观看视频学习

华敏IT教育

Java面向对象概述

48:16