strongly-typed language（强类型语言）

注：“强类型”这一词条在计算机科学中含义广泛，本文仅就笔者在学习中遇到的释义做总结。

强类型语言中，所有基本数据类型（整型，字符型，浮点型等等）都作为该语言的一部分被预定义。程序中的所有变量和常量都必须借助这些数据类型来表示。数据和数据类型绑定，在定义变量/常量时必须同时指出它的数据类型。对数据可执行的操作也因数据类型的不同而异。

强类型语言的编译器强制使用数据类型并要求操作对数据类型合法（比如加法对整型合法，取余对浮点型不合法）。

强类型语言的一个优点是强迫编程者遵循严谨的、统一的数据使用规范，降低出错风险。缺点是降低了编程的灵活性和创造性，这体现在：编程者被局限于语言发明者提供的数据类型；对已有的数据类型，编程者所能执行的操作被限制。