对高级程序设计语言的类型系统的基本理解