理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- sliding-summation random process
- sliding system
- sliding valve
- sliding vane
- sliding vane compressor
- sliding-vane rotary vacuum pump
- sliding vector
- sliding venue
- sliding wear
- sliding weight
- sliding window
- sliding window protocol
- S. Lie
- S. Lie (1842—1899)
- Slight Cold
- Slight Heat
- slight injury
- slightly defective number
- slightly excessive number
- slightly overcast
- Slight Snow
- slim disc
- slime
- slime bacteria
- slime body