理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Sunderland
- sundew family
- Sun Di
- Sundial
- sundial
- Sun Dian
- Sun Dianqi
- Sun Dianqing
- Sun Dingchen
- Sundman
- Sundman theorem
- sundog
- sundown syndrome
- sun-dried green tea
- Sun Drum of Jino nationality
- Sun Duo
- Sun Dɑolin
- Sune K. Bergström
- Sun En
- Sun Erzhun
- Sun Faduan
- Sun Fang
- Sun Feihu
- Sun Fen
- Sun Feng’s Poetic Inscriptions on Calligraphies and Paintings