理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Tongguang Style
- Tongguang thirteen outstanding opera artists
- Tong Guangxu
- Tongguan Jiedao
- Tongguan Qu
- Tongguan Xian
- Tong-Gui Subgroup of Hakka Dialects
- Tong Guowei
- Tonggu Xian
- Tonghai Xian
- Tonghe Xian
- tong house
- Tong Hsien-chia
- Tonghua Shi
- Tonghua Xian
- Tonghua Yiyao Gaoxin Jishu Chanye Kaifaqu
- Tonghui He
- Tong Ji
- Tongjia Hu
- Tongjiang Poetry Commentary
- Tongjiang Shi
- Tongjiang Xian
- Tongjian School
- Tongjian Tuipai
- Tongjian Xubian