理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Google APP engine, GAE
- Google Art Project
- google books digitization
- Google Inc.
- Google search engine
- googol
- googolplex
- Go on, Boys
- GOOS
- goose
- gooseberry
- goose farms
- goosefoot family
- goose grass
- goose-web wind
- Goos-Hänchen shift for spin wave
- Gopack
- Gopal Dynasty
- Gopal Krishna Gokhale
- Goppa
- Goppa code
- G optimal design
- G-optimal design
- Gorbachev new thinking
- Gorchakov Announcement