『科技头条』OCaml致力于4.10版本中的整体性能

通用编程语言OCaml已进入4.10版，在Microsoft，IBM，CEA和其他使用的项目中提高了内存使用率，垃圾回收(GC)成本，并提高了成本。

OCaml于1996年由法国数字科学研究所Inria开发，用于涉及符号计算的应用程序，例如编译器或程序分析器。它最突出的功能包括功能强大的类型系统，自动内存管理以及用户可定义的代数数据类型和模式匹配。

在当前版本中，其创建者为OCaml配备了扩展索引运算符的多索引变体，例如，帮助进行通用多维数组的索引。新版本还包含忽略模块表达式的函数，并强制执行安全的不可变字符串。

OCaml的运行时系统已得到改进，可以更好地处理具有大堆的程序。这是通过仍处于试验阶段的最佳拟合分配器实现的，该分配器有望降低GC成本和内存使用量，可以通过将OCAMLRUNPARAM =“ a = 2”设置来进行设置。运行时还看到添加了C函数，以执行长时间运行的C函数中的所有未决操作，并修复了其堆栈溢出检测和字节码回溯生成。

可以在标准库中找到进一步的优化，例如，它们旨在改善数组的构造和填充以及散列表的清除。该库现在还包含“ Filename.quote_command以产生正确引用的命令以供and执行”，“ printf中的”%#F’修饰符，以十六进制输出OCaml浮点常量”，并尝试更好地避免对列表进行排序时的重复工作。

4.10版具有许多重大更改，因此建议您快速浏览发行说明。一旦您使跳转范围从主要垃圾回收钩不再与OCaml堆进行交互，到从C调用时不触发OCaml回调的分配函数到新的全局变量表中，旧代码可能无法按预期工作的原因运行时。

本文来源网络由诺记吧（www.nokibar.com)整理发布，转载文章系出于传递更多信息之目的，不希望被转载的可与我们联系，我们将立即进行删除处理。

未经允许不得转载：诺记吧 » 『科技头条』OCaml致力于4.10版本中的整体性能