基本介紹
- 中文名：定型環境
- 外文名：typing environment
簡介,類型系統,另見,
簡介
如果x的類型是int，則寫作x:int。如果定型環境裡有x,y,z三個變數名，類型分別為int, bool, string，則寫作
。
類型系統
在計算機科學中，類型系統用於定義如何將程式語言中的數值和表達式歸類為許多不同的類型，如何操作這些類型，這些類型如何互相作用。類型可以確認一個值或者一組值具有特定的意義和目的（雖然某些類型，如抽象類型和函式類型，在程式運行中，可能不表示為值）。類型系統在各種語言之間有非常大的不同，也許，最主要的差異存在於編譯時期的語法，以及運行時期的操作實現方式。
編譯器可能使用值的靜態類型以最最佳化所需的存儲區，並選取對值運算時的較佳算法。例如，在許多C編譯器中，“浮點數”數據類型是以32比特表示，與IEEE 754規格一致的單精度浮點數。因此，在數值運算上，C套用了浮點數規範（浮點數加法、乘法等等）。
類型的約束程度以及評估方法，影響了語言的類型。更進一步，程式語言可能就類型多態性部分，對每一個類型都對應了一個極度個別的算法的運算。類型理論研究類型系統，儘管實際的程式語言類型系統，起源於計算機體系結構的實際問題、編譯器實現，以及語言設計。
另見
- 類型規則
