Scala是一种通用的编程语言,支持函数式编程和一个强大的静态类型系统。Scala的设计是简洁的,许多设计决定旨在解决对Java的批评。
Bartosz Milewski的《程序员的类别理论》非官方PDF和LaTeX来源