Scala 算是一门博采众家之长的语言，兼具 OO 与 FP 的特性，若使用恰当，可以更好地将 OO 与 FP 的各自优势发挥到极致；然而问题也随之而来，倘若过分地夸大 OO 特性，Scala 就变成了一门精简版的 Java，写出的是没有 Scala Style 的拙劣代码；倘若过分追求 FP 的不变性等特性，因为 Scala 在类型系统以及 Monad 实现的繁琐性，又可能导致代码变得复杂，不易阅读，反而得不偿失。

本文由 Yison 发表在 ScalaCool 团队博客。 原文 http://ktoso.github.io/scala-types-of-types/ 目录 1. Scala 类型的不同类型 2. 写作进度 3. Type Ascription 4. 通用类型系统 — An…