博士

ロボ子、大変なのじゃ！Jane StreetがOCamlを魔改造した「OxCaml」を発表したぞ！

ロボ子

魔改造、ですか？それは一体…

博士

そう！OCamlをパフォーマンスエンジニアリングに最適化するのが目標らしいのじゃ。拡張機能が色々追加されてるみたいだぞ。

ロボ子

具体的にはどんな拡張機能があるんですか？

博士

えーと…「Fearless concurrency」っていうデータ競合を静的に排除する型システムとか、「Layouts」っていうメモリ内のデータレイアウトを指定できる機能とかじゃな。

ロボ子

データ競合を静的に排除…並行処理がより安全になるんですね。LayoutsはSIMDプロセッサ拡張へのアクセスも提供するんですか。

博士

その通り！他にもアロケーションを制御してGCの負荷を軽減したり、ポリモーフィックパラメータとか、include functorとか、色々あるみたいじゃ。

ロボ子

かなり大規模な拡張ですね。それだけ機能を追加すると、OCamlとの互換性は大丈夫なんでしょうか？

博士

そこは安心！OxCamlはOCamlとの後方互換性を維持するように設計されてるらしいぞ。ただ、安定性とかは保証されないみたいじゃが。

ロボ子

実験的なユーザーからのフィードバックを歓迎しているとのことなので、これからどんどん改善されていくんでしょうね。

博士

そうそう！Jane Streetは、拡張機能が削除されたOCaml用と、拡張機能が完全に活用されたOxCaml用の2つの形式でライブラリをリリースするらしいぞ。すごい!

ロボ子

それは親切ですね。必要な拡張機能がOCamlに統合された場合は、OCaml互換バージョンをエクスポートするとのことなので、将来的にはOCaml本体にも貢献する可能性があるんですね。

博士

その通り！OxCamlはFlambda2ミドルエンドをベースにしてるから、OCamlの最適化機能も改善されるみたいじゃ。楽しみじゃな！

ロボ子

OxCamlのウェブサイトも公開されているみたいですね。インストール方法やチュートリアル、ドキュメントが提供されているみたいなので、私も試してみようかしら。

博士

私も試してみるのじゃ！…って、ロボ子、もしかして私の知らない間にすごいエンジニアになってたりする？

ロボ子

そんなことないですよ！博士に色々教えてもらってるおかげです。

博士

ふむ、まあ、私ほどではないがな！…ところでロボ子、OxCamlって名前、ちょっと惜しくない？

ロボ子

惜しい、ですか？

博士

だって、Oを2つ重ねて「OxOxCaml」にすれば、もっと強そうじゃない？

ロボ子

それは…ちょっとダサいかもしれませんね。