Please don't reprint this article; please don't re-publish in any form; please delete it within 24 hours of downloading this article; it is forbidden to use this article for commercial purposes.
1 General [Intro] 1.3.11 Static Type [Defns.Static.Type] 1 review [Introduction] 1.3 Definition [Introduction] 1.3.11 Static Type [Definition. Static. Type] The Type of an expression (3.9), which type results from analysis of the program without considering execution semantics. The static type of an expression depends only on the form of the program in which the expression appears, and does not change while the program is executing. It is not necessary to consider the expression semantic, and only the type of expression (3.9) determined by the analysis program. The static type is only dependent on the form of a program containing an expression, and does not change when the program is running. Prev [defns.signature] | Next [defns.undefined] Previous [Definition. Signature] | Next [Definition. Undefined]
