BER-MetaOCaml公司

BER-metaocaml的设计与实现。MetaOCaml是OCaml的超集,它用程序代码的数据类型和构造和执行此类类型化代码值的操作来扩展它。它已经被用于编译领域特定的语言,以及自动化高性能计算内核的冗长且容易出错的专门化。通过静态地确保生成的代码可以编译并让我们快速地运行它,MetaOCaml使编写生成器变得不那么困难,也更高效。除了新的组织、新的算法、新的代码之外,BER-MetaOCaml还添加了一个范围挤出检查来取代环境分类器。尝试用未绑定或错误绑定的变量(容易由于变异或其他影响而发生)构建代码值的尝试现在被及早发现,从而在良好诊断的情况下引发异常。无论在生成代码时使用了什么效果,生成的代码总是可以编译的保证变成了无条件的。我们解释了范围挤出检查的实现。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换