Introducing OxCaml

Jane Street · 2025 · 4. Điều chỉnh · Độ khó: Trung bình — bài gốc

Bài thông báo ngắn. Giá trị với wiki: cách một công ty giữ một fork compiler làm compiler production mà vẫn tương thích ngôn ngữ gốc.

Bối cảnh

Jane Street sửa OCaml từ lâu (xem GC 2015 ở Jane Street 2015). Vài năm gần đây các phần mở rộng ngôn ngữ đủ lớn để thành một nhánh compiler riêng, vẫn mã nguồn mở, với mục tiêu đưa dần vào OCaml upstream.
Năm 2025 họ đặt tên nhánh này là OxCaml, kèm website, hướng dẫn cài và tài liệu, để người ngoài dùng được.

OxCaml vừa là compiler production của Jane Street vừa là "phòng thí nghiệm" cho các phần mở rộng hướng hiệu năng. Bốn nhóm phần mở rộng:
- Fearless concurrency: type system loại bỏ data race lúc compile.
- Layouts: lập trình viên chỉ định cách dữ liệu nằm trong bộ nhớ (unboxed), truy cập SIMD trực tiếp.
- Kiểm soát cấp phát: giảm áp lực GC, làm hành vi chương trình thân thiện cache và tất định hơn.
- Các tiện ích dùng hằng ngày không riêng cho systems programming.
Dựng trên middle-end Flambda2.
Mọi chương trình OCaml hợp lệ đều là chương trình OxCaml hợp lệ. Phần mở rộng thì không hứa ổn định hay tương thích ngược.
Đi kèm bộ công cụ đã sửa: quản lý package tương thích dune/opam, LSP server, formatter.
Thư viện mã nguồn mở của Jane Street phát hành hai bản: một bản cho OCaml upstream (đã gỡ phần mở rộng), một bản cho OxCaml. Phần mở rộng nào không gỡ được thì thư viện chỉ có cho OxCaml, tới khi upstream nhận phần mở rộng đó.

Theo Jane Street, kỹ thuật hiệu năng cần quyền kiểm soát, và kiểm soát đó phải an toàn, tiện, đoán trước được: giữ type inference của OCaml, đưa chi tiết hiệu năng quan trọng lên tầng type, và chỉ phải trả giá phức tạp ở chỗ thật sự dùng ("pay-as-you-go").
Mục tiêu sâu hơn là để OxCaml giống "OCaml tiến hoá thành bản tốt hơn của chính nó", không phải một ngôn ngữ mới.

Một fork compiler chỉ sống được lâu nếu nó là tập cha nghiêm ngặt của ngôn ngữ gốc và có đường quay về upstream.
Phân biệt rõ phần ổn định (ngôn ngữ gốc) với phần thử nghiệm (phần mở rộng) giúp vừa chạy production vừa còn đổi thiết kế được.
Phát hành song song hai bản thư viện là cái giá của fork; phải tính trước.

Jane Street 2026 (float unboxed nhờ OxCaml giảm tail latency) · Jane Street 2026 (mode local/unique dùng cho cầu nối Python) · Hudson River Trading 2025 (một fork CPython khác)
Đổi ngôn ngữ và runtime · Hệ thống độ trễ thấp (low latency)