OCaml 5.0.0 正式发布
OCaml 是一个函数式、指令式、模块化、面向对象的通用的编程语言,源自 ML (Meta Language) 语言家族。 OCaml 5.0.0 近日已正式发布,主要更新亮点是引入了全新的运行时环境,支持共享的内存并行性和效果处理程序。 所谓共享的内存并行性是指 Multicore OCaml。它通过 domain 增加了对并行共享内存的支持,并通过 effect handler(无语法支持)增加了对并发 (direct-style concurrency) 的支持。Multicore OCaml 还打算向后兼容 —— 包括语言特性、C API 以及单线程代码的性能方面。 由于 OCaml 5 完全重写了 OCaml 运行时环境。因此,与常规的 OCaml 版本相比,OCaml 5.0.0 是更具实验性的 OCaml 版本。官方公告写道,OCaml 5.0.0 兼容 OCaml 4,能与 OCaml 4 工作的代码应该也能与 OCaml 5 工作。目前已知的例外情况是: 移除了很多早已废弃的函数和模块 改变了内部运行时 API ephemerons 的性能目前严重下降 在此版本中,原...
