动态类型变量的类型必须先申明，即在创立的那一刻就曾经确定好变量的类型，而后的应用中，你只能将这一指定类型的数据赋值给变量。如果强行将其余不相干类型的数据赋值给它，就会引发谬误。在编译阶段实现数据类型的相容性查看

最近在看 编译原理 这本书，感觉是很棒的入门书（指难度由浅入深深深深）。前两章次要是一些概念性的货色，第三章就开始动真格的，上代码上公式了。不本人实现一下，根本就是看得云里雾里的。所以接下来一段时间可能会不定期地更新一些对于我在 编译原理 这本书里看到的货色的实现的文章。

一、参考编译原理 学习系列目录——更新ing了解代码：编译器的前端技术二、编译器的前后端前端 —— 编译器对程序代码的剖析和了解过程，通常只和语言的语法无关，跟指标机器没有关系后端 —— 生成指标代码的过程，和指标机器无关三、词法剖析

一、参考编译原理 学习系列目录——更新ing了解代码：编译器的前端技术二、

一、编译原理之美学习一、参考操作系统 学习系列目录——更新ing设置工作模式与环境（上）：建设计算机

前端：编译器对程序代码的剖析和了解过程。    词法剖析: lexical analysis，分词            实现原理：无限状态机 ，如lex GNUlex    语法分析: 依据语法规定生成程序的语法结构(形象语法数AST)             递归降落办法，Yacc、 JavaCC 、GNU Bison 、Antlr    语义剖析: 上下文剖析 打消歧义            * 变量援用…

AST：形象语法树（abstract syntax code，AST）是源代码的形象语法结构的树状示意，树上的每个节点都示意源代码中的一种构造，这所以说是形象的，是因为形象语法树并不会示意出实在语法呈现的每一个细节，比如说，嵌套括号被隐含在树的构造中，并没有以节点的模式出现。咱们将源代码转化为AST后，能够对AST做很多的操作…