本书深入探讨了Scala里几个较为复杂的领域, 包括类型系统的高阶内容、隐式转换、特质的组合技巧、集合、Actor、函数式编程的范畴论等。