理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Wilson effect
- Wilson-Harrington Comet
- Wilson-Hilferty approximation
- Wilson, John Tuzo
- Wilson, Kenneth Geddes
- Wilson line
- Wilson line and loop
- Wilson loop
- Wilson model
- Wilson nonconforming element
- Wilson polynomial
- Wilson polynomials
- Wilson primality test
- Wilson prime
- Wilson quotient
- Wilson, Robert Woodrow
- Wilson's central terminal
- Wilson seal
- Wilson's fundamental construction
- Wilson's model of information behavior
- Wilson's spruce
- Wilson's yarrow
- Wilson theorem
- Wilson Yip
- Wilson’s Theory of Administration