语言特性汇总:

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