OxCaml: Bộ mở rộng dành cho ngôn ngữ lập trình OCaml

• OxCaml là một bộ mở rộng thay đổi nhanh, bổ sung các phần mở rộng định hướng hiệu năng cho OCaml; đây là trình biên dịch production của Jane Street đồng thời là không gian để thử nghiệm các cải tiến cho OCaml
• Bộ này hướng tới việc kiểm soát các hành vi chương trình quyết định hiệu năng theo cách an toàn, thuận tiện và có thể dự đoán được, đồng thời chỉ đặt gánh nặng về độ phức tạp lên những đoạn mã thực sự cần thiết
• Mọi chương trình OCaml hợp lệ đều cũng hợp lệ trong OxCaml, với mục tiêu khiến nó giống như một bước tiến hóa của OCaml hơn là một ngôn ngữ mới
• Các phần mở rộng được chia thành: đồng thời loại trừ tĩnh data race, bố trí bộ nhớ và truy cập SIMD, kiểm soát cấp phát, cùng các tính năng tiện ích như polymorphic parameters, include functor, labeled tuples và immutable arrays
• Dù là mã nguồn mở, dự án không cam kết về độ ổn định hay tương thích ngược của các phần mở rộng; đồng thời cung cấp một bộ công cụ OCaml đã được chỉnh sửa bao gồm quản lý gói tương thích dune·opam, LSP, trình định dạng và công cụ sinh tài liệu

---

Mục tiêu và nguyên tắc thiết kế của OxCaml

• OxCaml là một bộ mở rộng thay đổi nhanh dành cho ngôn ngữ lập trình OCaml
  • Được dùng làm trình biên dịch production của Jane Street
  • Đồng thời cũng là không gian thử nghiệm để cải tiến OCaml phù hợp với lập trình định hướng hiệu năng
  • Theo thời gian, dự án hy vọng sẽ đóng góp một số phần mở rộng lên upstream OCaml
• Mục tiêu thiết kế cốt lõi là kiểm soát các hành vi chương trình quan trọng đối với hiệu năng theo cách an toàn, thuận tiện và có thể dự đoán được
  • Tính an toàn được xem là yếu tố quan trọng đối với năng suất của lập trình viên và việc triển khai mã đúng đắn
  • Tính thuận tiện tập trung vào việc cung cấp khả năng kiểm soát mà không cần quá nhiều annotation
  • Dự án cố gắng duy trì khả năng suy luận kiểu của OCaml ngay cả trong hệ thống kiểu mở rộng
  • Tính có thể dự đoán được hướng tới việc giữ vững và cải thiện đặc tính giúp dễ hiểu các đặc điểm hiệu năng chỉ bằng cách nhìn vào mã OCaml
  • Các chi tiết hiệu năng cốt lõi được định hướng thể hiện tường minh ở mức kiểu
• Theo cách pay-as-you-go, dự án cung cấp thêm khả năng tối ưu hóa nhưng không ép mã không dùng các khả năng đó phải gánh thêm độ phức tạp
• Mọi chương trình OCaml hợp lệ đều cũng hợp lệ trong OxCaml
  • OxCaml hướng tới cảm giác giống như OCaml đã tiến hóa thành một phiên bản tốt hơn hơn là một ngôn ngữ mới
  • Dự án cố gắng giữ lại cảm quan thiết kế nền tảng của OCaml cùng với tính an toàn, sự dễ dùng và năng suất

Các mảng mở rộng và điều kiện sử dụng

• Các phần mở rộng của OxCaml được chia thành một số mảng xoay quanh việc kiểm soát hiệu năng và sự tiện dụng của ngôn ngữ
  • Fearless concurrency: loại trừ tĩnh data race thông qua các bổ sung vào hệ thống kiểu
  • Layouts: cho phép lập trình viên chỉ định cách bố trí dữ liệu trong bộ nhớ và truy cập native tới các phần mở rộng bộ xử lý SIMD
  • Control over allocation: cung cấp công cụ để kiểm soát cấp phát, giảm áp lực GC, đồng thời làm chương trình hiệu quả hơn với cache và có tính xác định hơn
  • Quality of life: cũng bao gồm các phần mở rộng hữu ích cho công việc hằng ngày
    • Polymorphic parameters
    • Include functor
    • Labeled tuples
    • Immutable arrays
• OxCaml là mã nguồn mở và mở cho những người dùng thích thử nghiệm
  • Dự án đặc biệt kỳ vọng các nhà nghiên cứu và người thích thử nghiệm sẽ dùng hệ thống và gửi phản hồi
  • Do tính chất thử nghiệm mạnh, các phần mở rộng của OxCaml không cam kết về độ ổn định hay tương thích ngược
  • Tuy vậy, vẫn duy trì tương thích ngược với OCaml
• Để thuận tiện sử dụng, dự án cung cấp một bộ công cụ chuẩn OCaml đã được chỉnh sửa
  • Quản lý gói tương thích với dune và opam
  • Tích hợp trình soạn thảo thông qua máy chủ LSP
  • Định dạng mã nguồn
  • Sinh tài liệu
• Các thư viện và công cụ mã nguồn mở của Jane Street được phát hành dưới hai dạng
  • Phiên bản dành cho upstream OCaml là dạng đã loại bỏ các phần mở rộng OxCaml
  • Phiên bản dành cho OxCaml là dạng tích cực tận dụng các phần mở rộng
  • Không phải mọi phần mở rộng đều có thể loại bỏ, vì vậy một số thư viện chỉ được cung cấp riêng cho OxCaml
  • Khi các phần mở rộng cần thiết được tích hợp vào upstream, dự án sẽ phát hành phiên bản tương thích OCaml của các thư viện đó