强类型指的是程序中表达的任何对象所从属的类型都必须能在编译时刻确定。常见的强类型语言有Java、Apex和Python等。强类型语言在大规模信息系统开发中具有巨大优势。强类型是针对类型检查的严格程度而言的，它指任何变量在使用的时候必须要指定这个变量的类型，而且在程序的运行过程中这个变量只能存储这个类型的数据。因此，对于强类型语言，一个变量不经过强制转换，它永远是这个数据类型，不允许隐式的类型转换。例如：假设定义了一个double类型变量a，不经过强制类型转换那么程序int b = a是无法通过编译。常用的强类型语言有Java、C# 、Apex和Python等。