#2017_9_11 22:03(new add)
build on it.
logisitical
静态类型和子类型
子类型：多态(OOP) VS 通用类型(FP) 。
#
FP:函数式编程 OOP:面向对象编程
对不同的编程语言进行比较和对比。
学习编程神课，是一个挑战性的机会去学习编程的基本概念。
其中Ruby是面向对象编程+动态编程语言的代表。我们将会把ML Racket Ruby的核心观念进行比较和对比。由于前两门语言是函数式编程语言，在这一部分，我们会重点关注面向对象编程。并且在后面的部分，我们将会比较和对比FP和OOP。在最后一周，我们将会返回到静态类型和子类型（sub-typing）。Which is a very powerful static typing idea in the object setting（没有读懂）。与OOP中多态类型相反的是，在ML中使用的是通用类型(generic types)。
