文件名称：simple-abt:没有什么花哨的，只是没有痛苦地绑定
文件大小：5KB
文件格式：ZIP
更新时间：2024-06-25 03:05:59
StandardML
只是简单的 Abts 所以我可以不假思索地快速刮掉东西。 在SML辅助的过程中不要想太多。 如何使用它 如果你想使用这个库，这里是基本过程。 将此目录复制到您的项目中。 将simple-abt/sources.cm添加到您的sources.cm 为您的语言的运算符定义一个模块 本质上，您定义了一个普通的 SML 类型，它代表了 ABT 的每个分支。 但是，这种类型不应该是递归的！ 然后您应该定义函数eq和toString ，它们为您的操作员做正确的事情。 最后，定义arity 。 给定一个运算符，这应该返回一个数字列表。 ABT 中该节点的每个递归组件都应该有一个数字。 每个数字应该代表每个节点应该绑定多少个变量。 免费获取您的语言的 ABT Abt(structure O = Operator; structure V = Variable) 有关更多详细信息，请参阅签名。
【文件预览】：
simple-abt-master
----.gitignore(5B)
----src()
--------operator.sig(138B)
--------variable.sig(139B)
--------abt.sml(3KB)
--------variable.sml(421B)
--------abt.sig(610B)
----sources.cm(228B)
----README.md(1KB)
----test()
--------sources.cm(60B)
--------lam.sml(1KB)