显示了从命令式编程到函数式编程的过渡。 介绍了lambda演算,如何向其添加类型以及如何使用ML来实现基本的功能编程,多态性,异常和命令式功能。