理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- quasi-rotation group
- quasi-ruled
- quasi-selfsimilar set
- quasi-semilocal ring
- quasi-separable graph
- quasi-separated morphism
- quasi-shock
- quasi-sidereal time
- quasi-similar
- quasi-similarity
- quasi-simple
- quasi-simple group
- quasi-simple module
- quasi-simple representation
- quasi-simple ring
- quasi-skew field
- quasi-solid-state electrolyte
- quasi-solution
- quasi-solvable system
- quasi-space
- quasi-special
- quasi-sphere
- quasi-spherical curve
- quasi-spinorial mapping
- quasi-split