Scala課堂-5-類型和多態類型

什麼是靜態類型？它們爲何有用？javascript 按 Pierce 的話講：「類型系統是一個語法方法，它們根據程序計算的值的種類對程序短語進行分類，經過分類結果錯誤行爲進行自動檢查。」 類型容許你表示函數的定義域和值域。 例如，從數學角度看這個定義： f: R -> N 它告訴咱們函數「f」是從實數集到天然數集的映射。 抽象地說，這就是 具體 類型的準肯定義。類型系統給咱們提供了一些更強大的方式

>>阅读原文<<