强类型语言,关于强类型语言的所有信息