文件名称：mlkit：标准ML编译器和工具包
文件大小：6.26MB
文件格式：ZIP
更新时间：2024-02-22 02:46:13
compiler functional-programming standard-ml regions CompilerStandardML
MLKit 是用于编程语言Standard ML的编译器。 MLKit涵盖了1997年版标准ML定义中定义的所有标准ML，并支持大多数标准ML基础库。 测试统计和基准测试 安装 在macOS下，可通过Homebrew使用MLKit：只需执行brew install mlkit 。 在Linux下，您可以使用的安装MLKit的二进制版本。 MLKit功能 涵盖所有标准ML。 MLKit编译标准ML定义所规定的所有标准ML，。 MLKit还支持大部分内容。 支持：MLKit编译大型程序，，大约80.000行Standard ML以及Standard ML Basis库。 对ML基础文件的支持使使用不同的Standard ML编译器轻松编译程序。 当前， 和MLKit都支持ML基础文件的概念。 MLKit与 （适用于标准ML库和程序的通用软件包管理器）配合使用。 基于区域的内存管理：内存分配指令（分配和释放）均由编译器推断，编译器使用许多有关生存期和存储布局的程序分析。 在这方面，MLKit编译器在ML实现中是唯一的。 参考跟踪垃圾收集：MLKit支持参考跟踪垃圾收集与基于区域的内存