ocaml - “遍历抽象语法树”是什么意思？

Question

我在一个编译器类中，我们必须在其中用 OCaml 编写一个编译器，而且我一直听说一个必要的步骤是“遍历抽象语法树”。这在理论上和实际编写代码方面意味着什么？

Answer 1

这意味着您需要使用 AST 并遍历节点来做某事，就像遍历列表一样。所以像这样

match ast_token with
| INT_LITERAL(x) -> dsw x
| IF_EXPRESSION(p, e1, e2) -> dsw p e1 e2
...