Syntax OCaml/Camlp4-重命名多态性变体

有没有办法让OCaml程序中的所有多态变体在预处理时重命名为最多两个字符，当然保留它们的唯一性？所有程序模块的重命名也应一致

---

是否有人可以使用Camlp4+哈希表或类似工具绘制解决方案？

您可以使用Camlp4的AST映射器，并且有一个教程：。但是，如果我是你，我会使用编译器库的PPX和Ast_映射器而不是CamlP4。好了，是时候学习PPX了……你为什么要这么做？在编译时，多态变量名映射到字符串的散列，因此在运行时，变量名的长度无关紧要。你所要做的就是混淆代码，使错误消息变得毫无意义。我当时正在为一个16位体系结构编写一个字节码解释器，它无法管理如此长的散列。