理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Jiang Heyi
- Jianghuai buffalo
- Jianghuai Daily
- Jianghuai Mandarin
- Jianghua Yaozu Zizhi Xian
- Jiang Hui
- Jianghu school of poetry
- Jiang ji
- Jiang Jianchun
- Jiang Jiaqiang
- Jiang Jie
- Jiang Jing
- Jiang Jingjian
- Jiang Jingqi
- Jiang Jingsan
- Jiangjin Qu
- Jiang Jixiang
- Jiangjun Gobi
- Jiangjunya rock arts
- Jiang Jurong
- Jiang Keqian
- Jiangkou Shuiku
- Jiangkou Xian
- Jiangkou Yunshe
- Jiang Kui