strongly-typed language（強類型語言）

注：“強類型”這一詞條在計算機科學中含義廣泛，本文僅就筆者在學習中遇到的釋義做總結。

強類型語言中，所有基本資料類型（整型，字元型，浮點型等等）都作為該語言的一部分被預定義。程式中的所有變量和常量都必須借助這些資料類型來表示。資料和資料類型綁定，在定義變量/常量時必須同時指出它的資料類型。對資料可執行的操作也因資料類型的不同而異。

強類型語言的編譯器強制使用資料類型并要求操作對資料類型合法（比如加法對整型合法，取餘對浮點型不合法）。

強類型語言的一個優點是強迫程式設計者遵循嚴謹的、統一的資料使用規範，降低出錯風險。缺點是降低了程式設計的靈活性和創造性，這展現在：程式設計者被局限于語言發明者提供的資料類型；對已有的資料類型，程式設計者所能執行的操作被限制。