类型体系是scala中最为复杂的特性，它既是scala强大的原因，也是scala号称宇宙最复杂语言的直接原因。而且，Scala正在自我革命，新的...