理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- wye
- wye connection
- Wyld crater
- Wylie
- Wylie Alexander
- Wyllie, Peter John
- Wyndham Lewis
- Wynn Bullock
- Wynne corrector
- Wyoming Infrared Observatory
- Wyoming IR Observatory
- Wyoming IR Telescope
- Wyoming State
- Wyong
- WYSIWIS
- WYSIWYG
- Wystan Hugh Auden
- W.Z.
- WZ certificate
- WZ method
- WZ-method
- WZ pair
- WZ Sagittae star
- WZ Sge star
- WZW descendant field