语言特性汇总：

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