An implementation of the first level (control flow safety) of Typed Assembly Language in OCaml

• 初始化和程序入口

• 一段TAL源代码相对应的抽象语法树
• 初始机器状态ms
• 人为给定的代码段堆类型Psi

• 因为well-typed的TAL代码会无限执行下去，所以可以在eval函数中指定执行的步数step

• TAL的语法定义，类型定义，以及打印功能函数

• TAL的核心部分

• evaluation rules 和 typing rules
• evaluation functions 和 typing functions
• 实现先做 typing 再做 evaluation 的 eval function

ocamlbuild main.native

./main.native > results

• 在results中查看结果
• 由于没有实现语法分析功能，所以tal的源代码是写死main.ml中的，每次修改tal源代码都需要重新build