我正在使用ocamllex / yacc在ocaml中编写编译器。事情进展顺利，但我遇到了设计问题。对于我创建的每个AST节点，最好在源代码中获得有关该节点的行/字符位置的信息。这对于稍后向用户提供错误消息很有用。
现在，我可以在节点中添加某种元类型：
type node = Node1 of ... * meta | Node2 of ... * meta
但这似乎是多余的。后来，当我完成验证AST时，我将不得不写
match n with
| NodeX(..., _) -> ...
match中的都是浪费空间。
解决这个问题的最佳方法是什么？
答案 0 :(得分：5)
解决此问题的常用方法是使用记录来保存元信息和节点表达式：
type node_exp = Node1 of ... | Node2 of ...
and node = { exp: node_exp; meta: meta }
然后：
match n.exp with
| NodeX ... -> ...