数据抽象 原子 Tuples && Lists 代数类型 Monads 函数抽象 原子 高阶函数 多态(函数类) 模块化(Modules) 最牛的应该是函数可以像有机体一样叠加,无语,不可以这么强的。。