理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Jung
- jungar coalfield
- Jungar Qi
- Junger Deutscher film
- Jung-eubSa
- Junggar Pendi
- Junggar Xibu Shandi
- Jungian psychotherapy
- Jungius
- Jun glaze of Guangdong
- Jungle Emperor
- jungle rice
- Jungongfu Corvee
- Jung theorem
- Junimea
- junior college
- junior college movement
- junior compiler
- junior guardsman
- juniper rust
- Juniperus Evergreen Needleleaf Forest
- Juniperus tibetica Evergreen Needleleaf Forest
- Jun-Jia language
- Jun Kiln
- Jun kiln