语言特性汇总: 类型推导, 类型检查, 惰性求值 currying 闭包 OO lambda……

阅读全文