理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- method of penalty functions
- method of persuasion education
- method of phase diagrams
- method of phase integral
- method of pivot selection
- method of planting
- method of point mappings
- method of point sources
- method of position evaluation
- method of postulation
- method of potentials
- method of power series
- method of preventing water burst
- method of principal axes
- method of principal components
- method of prolongation
- method of proportional distribution problem in ancient China
- method of pseudopotential
- method of purposive selection
- method of quadratures
- method of qualitative data analysis
- method of quasi-averages
- method of quasilinearization
- method of quickest descent
- method of radar astronomy