Scala课堂-5-类型和多态类型

什么是静态类型？它们为何有用？javascript 按 Pierce 的话讲：“类型系统是一个语法方法，它们根据程序计算的值的种类对程序短语进行分类，经过分类结果错误行为进行自动检查。” 类型容许你表示函数的定义域和值域。 例如，从数学角度看这个定义： f: R -> N 它告诉咱们函数“f”是从实数集到天然数集的映射。 抽象地说，这就是 具体 类型的准肯定义。类型系统给咱们提供了一些更强大的方式

>>阅读原文<<