Alasan saya memilih OCaml sebagai bahasa utama

• Karakteristik bahasa dan ekosistem OCaml sangat baik, serta cocok untuk proyek pribadi maupun profesional
• Berbagai paradigma dan fitur lanjutan seperti sistem tipe statis, tipe aljabar, sistem modul, model objek, dan efek yang ditentukan pengguna terintegrasi secara stabil
• Tersedia toolchain yang matang seperti package manager OPAM, sistem build Dune, dukungan editor LSP/Merlin, dan alat dokumentasi Odoc, serta ekosistem library yang beragam untuk web, blockchain, tooling, dan lainnya
• Komunitasnya memiliki aksesibilitas, keramahan, dan profesionalisme, sehingga memudahkan pembelajaran dan kolaborasi, serta prospeknya juga cerah berkat evolusi yang konsisten

---

Alasan memilih OCaml sebagai bahasa utama

• Penulis telah lama menggunakan berbagai bahasa pemrograman, dan di antaranya memilih OCaml sebagai bahasa utama
• Keunggulan terbesar OCaml adalah sistem tipe statis yang kuat serta dukungan pemrograman fungsional yang lebih baik dibandingkan C atau bahasa fungsional lainnya
• Berkat sistem tipe tersebut, penulis mengalami banyak manfaat dalam pencegahan bug dan optimasi kode
• Dalam berbagai proyek pengembangan nyata, penggunaan OCaml secara signifikan meningkatkan produktivitas dan stabilitas

Keunggulan OCaml dan penerapan praktis

• Sebagian besar kode dapat ditulis dengan cepat, dan penggunaan komposisi fungsi serta data immutable meningkatkan keamanan
• Belakangan ini, ekosistem dan alat bantu OCaml (IDE, sistem build, dan sebagainya) juga terus berkembang
• Berkat beragam library dan paket eksternal, pengembangan yang efisien menjadi memungkinkan dalam pekerjaan nyata
• Dibandingkan dengan Python atau Java, OCaml memang kurang terkenal, tetapi sangat kuat dari sisi produktivitas, keamanan, dan fleksibilitas

Karakteristik bahasa

• Berasal dari penelitian namun dipadukan dengan penerapan industri, sehingga pengembangan fiturnya berfokus pada ekspresivitas dan keamanan
  • Fitur modern seperti efek yang ditentukan pengguna dan affine session
• Pemeriksaan tipe statis berfungsi sebagai jaring pengaman sekaligus alat desain, dan membantu menghapus kesalahpahaman akibat pengalaman tipe yang buruk
• Multi-paradigma: fungsional, imperatif, modular, berorientasi objek, dan dukungan multicore
• Sintaks keluarga ML ringkas dan konsisten, serta ada sintaks alternatif seperti ReasonML
• Tipe aljabar (produk, jumlah, eksponensial), pattern matching, dan polimorfisme memberikan keunggulan dalam pemodelan data/domain
• Sistem modul mendukung pemisahan antarmuka dan implementasi, abstraksi, penggunaan ulang, hingga polimorfisme tingkat lanjut
• Dependency inversion: menyediakan cara injeksi yang fleksibel melalui modul/efek

Ekosistem dan tooling

• Target kompilasi: native, bytecode, JavaScript(Js_of_ocaml, Melange), WebAssembly
• MirageOS menyediakan disiplin penulisan library multi-konteks
• OCaml Platform:
  • OPAM: manajemen versi, switch, indeks paket, dukungan CI
  • Dune: build cepat, konfigurasi S-expression, penyederhanaan rilis melalui dune-release
  • LSP/Merlin: pelengkapan kode, navigasi, dan formatting di VSCode, Emacs, dan lainnya
  • Odoc: mendukung referensi silang, halaman manual, doctest, dan lain-lain
• Library yang kaya: web (Dream, Ocsigen), blockchain dan kriptografi (HACL*), pengujian (alcotest, qcheck, dll.)
• Library standar memang kecil, tetapi ada alternatif seperti Batteries, Base/Core, dan Containers

Tantangan baru dan komunitas

• Komunitas OCaml memang kecil, tetapi terus berkembang, dan menunjukkan arah yang ramah bagi pengguna
• Bagi pengembang yang ingin menantang diri dengan bahasa atau paradigma baru, OCaml sangat layak dipelajari secara mendalam
• Banyak pengguna menyebut bahwa pengalaman memakai OCaml memberi sudut pandang baru dan meningkatkan kemampuan pemecahan masalah

Kesimpulan

• OCaml adalah bahasa pemrograman yang kuat yang tidak terbatas pada bidang tertentu (misalnya keuangan, compiler, atau pengembangan sistem), melainkan dapat digunakan secara umum
• Efisiensi, kemudahan pemeliharaan, dan kemampuan mencegah masalah yang diperoleh di praktik nyata membuktikan nilainya di lapangan
• Meski mungkin kurang dikenal dibanding bahasa atau tren terbaru, jika Anda mengutamakan keandalan dan keamanan, ini tetap merupakan pilihan yang sangat layak dipertimbangkan