(1)高阶函数(Higher-order functions) (2)闭包(closures) (3)模式匹配(Pattern matching) (4)单一赋值(Single assignment) (5)延迟计算(Lazy evaluation) (6)类型推导(Type inference (7)尾部调用优化(Tail call optimization) (8)类型推导(Type inference