電腦科學入面,類型系統(英語:type system)用喺定義如何將程式語言入面嘅數值同埋運算式歸類喺好多唔同嘅類型,點樣整呢啲型別,呢啲類型點樣互相作用。類型可以確認一個值或者一組值具有特定嘅意義同埋目的(雖然某啲類型,例如抽象類型同埋函式類型,喺程式執行入面,可能唔表示做值)。