類型系統 在计算机科学中类型系統英語type system用于定義如何將程式語言中的數值和運算式归類为许多不同的型別如何操作这些型別这些型別如何互相作用型別可以确认一个值或者一组值具有特定的意义和目的雖然某些型別如抽象型別和函式型別在程式執行中可能不表示為值型別系統在各種語言之間有非常大的不同也許最主要的差異存在於編譯時期的語法以及執行時期的操作实现方式 編譯器可能使用值的靜態型別以最佳化所需的儲存區並選取對值運算時的較佳演算法例如在許多C編譯器中浮點數資料型別是以 位元表示與IEEE 規格一致的單精度浮點數因此在數值運算上C應用了浮点数規範浮點數加法乘法等等 型別的約束程度以及評估方法影響了語言的型別更進一步程式語言可能就型別多態性部分對每一個型別都對應了一個極度個別的演算法的運算型別理論研究型別系統儘管實際的程式語言型別系統起源於電腦架構的實際問題編譯器實作以及語言設計