1. 强类型语言