理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- unobservable subspace
- unobstructed deformation
- unobstructed moduli space
- unobtrusive research
- unoccupied
- unoccupied band
- unoccupied level
- UNOCT
- UNODC
- Unofficial Biography of Li Shishi
- Unofficial Biography of Spring and Autumn Annals
- Unofficial History in East
- Unofficial History of Fanghu
- Unofficial History of Qing Dynasty
- Unofficial History of the Last Yuan Emperor
- unofficial literacy books
- unofficial notice
- Unofficial Record of the Jiangnan Region
- unofficial single-piece notes
- unofficial tabloid
- unoid
- Uno Jûkichi
- UNOOSA
- unordered
- unordered basis