Jane Streetを中心としたグループがOCamlに実験的な機能を搭載したバージョンをOxCamlとして公開している。OxCamlに実装された機能は実証を経てから徐々にOCamlにも還元されていて、一部はOCaml 5.4や5.5で提供される予定。

安全性を損なうことなく並列性や局所性を向上させるための様々な機能を始めとして、内包表記やカインドといった他のプログラミング言語にあってOCamlにない機能、SIMDプログラミングのための型など、興味深い機能が搭載されている。

OCamlの開発に大きな負担をかけることなくHaskellにとってのGHCのような積極的に実験できる場を作ったという意味でOxCamlの存在は大きいと思う。

oxcaml.org/

0

If you have a fediverse account, you can quote this note from your own instance. Search https://mstdn.maud.io/users/omasanori/statuses/115216133278462781 on your instance and quote it. (Note that quoting is not supported in Mastodon.)