- OxCaml adalah kumpulan ekstensi yang berkembang cepat dan menambahkan fitur berorientasi performa ke OCaml; ini merupakan kompiler produksi Jane Street sekaligus ruang eksperimen untuk peningkatan OCaml
- Dirancang untuk mengendalikan perilaku program yang menentukan performa secara aman, nyaman, dan dapat diprediksi, sambil membebankan kompleksitas hanya pada kode yang memang memerlukannya
- Semua program OCaml yang valid juga valid di OxCaml, sehingga tujuannya terasa lebih seperti evolusi OCaml daripada bahasa baru
- Ekstensinya terbagi ke dalam konkurensi yang secara statis meniadakan data race, tata letak memori dan akses SIMD, kontrol alokasi, serta fitur kenyamanan seperti parameter polimorfik, include functor, labeled tuples, dan immutable arrays
- Meski open source, stabilitas ekstensi maupun kompatibilitas mundur tidak dijanjikan; tersedia pula seperangkat tool OCaml yang dimodifikasi, termasuk manajemen paket yang kompatibel dengan dune·opam serta LSP, formatter, dan alat pembuat dokumentasi
Tujuan dan Prinsip Desain OxCaml
- OxCaml adalah kumpulan ekstensi yang berkembang cepat untuk bahasa pemrograman OCaml
- Digunakan sebagai kompiler produksi di Jane Street
- Juga merupakan ruang eksperimen untuk meningkatkan OCaml agar cocok untuk pemrograman berorientasi performa
- Seiring waktu, diharapkan sebagian ekstensi dapat dikontribusikan ke upstream OCaml
- Mengendalikan perilaku program yang penting bagi performa secara aman, nyaman, dan dapat diprediksi adalah tujuan desain utamanya
- Keamanan dianggap sebagai fitur penting bagi produktivitas programmer dan penerapan kode yang benar
- Kenyamanan berfokus pada pemberian kendali tanpa anotasi yang berlebihan
- Berupaya mempertahankan type inference OCaml bahkan dalam sistem tipe yang diperluas
- Prediktabilitas berfokus pada menjaga dan meningkatkan sifat agar karakteristik performa mudah dipahami hanya dengan melihat kode OCaml
- Detail performa inti diarahkan untuk tampak secara eksplisit pada level tipe
- Dengan pendekatan pay-as-you-go, kemampuan optimisasi ditambah tanpa memaksa kompleksitas tambahan pada kode yang tidak menggunakan kemampuan tersebut
- Semua program OCaml yang valid juga valid di OxCaml
- OxCaml bertujuan terasa bukan sebagai bahasa baru, melainkan seperti OCaml yang berevolusi menjadi versi yang lebih baik
- Berupaya mempertahankan nuansa desain dasar OCaml beserta keamanan, kemudahan, dan produktivitasnya
Area Ekstensi dan Syarat Penggunaan
- Ekstensi OxCaml dibagi ke beberapa area dengan fokus pada kontrol performa dan kenyamanan bahasa
- Fearless concurrency: secara statis meniadakan data race melalui penambahan pada sistem tipe
- Layouts: programmer dapat menentukan tata letak memori data dan mengakses ekstensi prosesor SIMD secara native
- Control over allocation: menyediakan alat untuk mengendalikan alokasi guna mengurangi tekanan GC serta membuat program lebih efisien terhadap cache dan lebih deterministik
- Quality of life: juga mencakup ekstensi yang berguna untuk pekerjaan sehari-hari
- Polymorphic parameters
- Include functor
- Labeled tuples
- Immutable arrays
- OxCaml bersifat open source dan terbuka bagi pengguna eksperimental
- Secara khusus mengharapkan peneliti dan eksperimentator mencoba sistem ini dan memberikan masukan
- Karena ekstensi OxCaml sangat eksperimental, stabilitas maupun kompatibilitas mundur tidak dijanjikan
- Namun, kompatibilitas mundur dengan OCaml tetap dipertahankan
- Untuk kemudahan penggunaan, disediakan seperangkat tool standar OCaml yang telah dimodifikasi
- Manajemen paket yang kompatibel dengan dune dan opam
- Integrasi editor melalui server LSP
- Pemformatan kode sumber
- Pembuatan dokumentasi
- Library dan tool open source Jane Street dirilis dalam dua bentuk
- Versi untuk upstream OCaml adalah bentuk yang telah menghapus ekstensi OxCaml
- Versi untuk OxCaml adalah bentuk yang secara aktif memanfaatkan ekstensi tersebut
- Karena tidak semua ekstensi dapat dihapus, beberapa library hanya tersedia khusus untuk OxCaml
- Jika ekstensi yang dibutuhkan terintegrasi ke upstream, versi library yang kompatibel dengan OCaml akan dirilis
Belum ada komentar.