Variable type collecting method based on layered thoughtway
基于分层思想的变量类型提取方法

提出了一种基于分层思想的，并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法，从而降低类型系统实现的难度以及产生程序错误的可能性，并且简化高级语言的中间表示，便于后端的代码生成和优化。