理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- projected correlation function
- projected density
- projected density profile
- projected display technique
- projected potential
- projected scale
- projected semi-major axis
- projected structure
- projected velocity
- project environment audit
- project environment management
- Project Evaluation & Review
- project expenditure
- project feasibility study
- project file
- project finance
- Project finance evaluation and review
- project financial effect appraisal
- project financing mode
- project for preventing and controlling desertification
- project full life cycle
- Project Governance
- Project Gutenberg
- project handover
- Project Hope