语言特性汇总

语言特性汇总：

• 类型推导，
• 类型检查，
• 惰性求值
• currying
• 闭包
• OO
• lambda