Dalam lanskap bahasa pemrograman yang terus berkembang, Jaql muncul sebagai pesaing baru dalam ruang pemrograman sistem yang aman memori. Namun, diskusi komunitas mengungkapkan kasus menarik tentang kesalahan identitas, karena sebagian besar komentator tampaknya membahas Jakt, bahasa pemrograman berbeda yang terkait dengan proyek SerenityOS, bukan Jaql itu sendiri.
Kebingungan Antara Jaql dan Jakt
Diskusi komunitas terutama berpusat pada Jakt, bahasa pemrograman sistem yang aman memori yang dikembangkan sebagai bagian dari proyek SerenityOS. Kebingungan ini dapat dimengerti mengingat kemiripan nama dan tujuan antara kedua bahasa tersebut. Sementara artikel ini menggambarkan Jaql sebagai bahasa pemrograman sistem yang aman memori dengan fitur seperti penghitungan referensi otomatis dan tipe yang kuat, para komentator membahas sejarah pengembangan Jakt, hubungannya dengan SerenityOS, dan status saat ini.
Status Terkini Pengembangan Jakt
Berdasarkan wawasan komunitas, Jakt tampaknya berada dalam keadaan tidak aktif. Beberapa komentator mencatat bahwa aktivitas pengembangan telah menurun secara signifikan, dengan satu pengguna menunjukkan sejarah commit yang jarang. Bahasa ini awalnya diperjuangkan oleh Andreas Kling, pencipta SerenityOS, tetapi momentum pengembangan tampaknya telah bergeser.
Saya menonton beberapa video Andreas yang bekerja pada Jakt beberapa tahun lalu tetapi sekarang tampaknya agak mati melihat sejarah commit-nya.
Pengamatan ini sejalan dengan komentar lain yang menunjukkan bahwa Andreas telah beralih untuk fokus pada proyek browser Ladybird, yang dilaporkan telah memilih Swift sebagai bahasa pilihannya untuk pengembangan masa depan daripada Jakt.
Swift sebagai Jalur Pilihan untuk Ladybird
Sebagian besar diskusi berkisar pada keputusan tim browser Ladybird (proyek yang awalnya di-fork dari browser SerenityOS) untuk mengadopsi Swift daripada Jakt atau alternatif lainnya. Keputusan ini tampaknya telah dibuat melalui apa yang digambarkan oleh seorang komentator sebagai proses pragmatis di mana anggota tim mengimplementasikan fitur dalam berbagai bahasa kandidat dan akhirnya menemukan Swift paling menyenangkan untuk digunakan. Model pemrograman berorientasi objek Swift dilaporkan cocok dengan kebutuhan arsitektur browser web.
Namun, beberapa anggota komunitas mengungkapkan keterkejutan atas pilihan ini, terutama mencatat kekhawatiran tentang tantangan interoperabilitas C++ dengan Swift. Seorang komentator menunjukkan bahwa Swift memerlukan fork LLVM dari Apple, yang berpotensi membatasi kompatibilitas dengan lingkungan GNU atau Clang mainstream.
Keamanan Memori dan Filosofi Desain Bahasa
Kembali ke subjek sebenarnya dari artikel tersebut, Jaql berbagi tren industri yang lebih luas menuju bahasa pemrograman sistem yang aman memori. Menurut artikel tersebut, Jaql menggabungkan fitur-fitur seperti pemeriksaan waktu kompilasi, peminjaman, pelacakan masa pakai, dan pencegahan dereferensi pointer null. Fitur-fitur ini selaras dengan penekanan industri yang semakin besar pada keamanan memori, yang juga terlihat pada bahasa seperti Rust.
Artikel ini merinci pendekatan Jaql terhadap keamanan memori, termasuk pencegahan overflow integer, loop tak terbatas, overflow stack, race data, dan kebocoran memori dalam mode Safe-Jaql. Fokus pada keamanan sambil mempertahankan kemampuan pemrograman sistem mencerminkan pergeseran industri yang sedang berlangsung menuju alternatif yang lebih aman untuk bahasa tradisional seperti C dan C++.
Fitur Utama Jaql
-
Fitur keamanan memori:
- Pemeriksaan pada waktu kompilasi
- Peminjaman (tracing)
- Pelacakan masa hidup
- Tidak ada dereference pointer null
- Pencegahan integer overflow
- Tidak ada loop tak terbatas di Safe-Jaql
- Perlindungan terhadap stack overflow
- Tidak ada race condition pada data
- Tidak ada kebocoran memori (kecuali sengaja dibocorkan)
-
Desain bahasa:
- Perbedaan antara tipe "class" yang dapat diubah dan tipe "data" yang tidak dapat diubah
- Mendorong fungsi kecil (maksimum 2-3 baris per metode)
- Tidak ada efek samping
- Dukungan untuk generik dan fungsi tingkat tinggi
- Sistem traits tipe
- Overloading operator melalui traits
-
Implementasi:
- Awalnya diimplementasikan dalam Java untuk kemudahan akses
- Compiler yang dapat menghosting dirinya sendiri sebagai tujuan
- Interoperabilitas dengan C/C++
Fitur Bahasa dan Pilihan Desain
Desain Jaql mencakup fitur-fitur menarik seperti perbedaan antara tipe kelas yang dapat diubah (mutable) dan tipe data yang tidak dapat diubah (immutable), mirip dengan perbedaan class/struct pada Swift. Bahasa ini mendorong fungsi-fungsi kecil dengan efek samping minimal dan menyediakan pustaka fungsional standar untuk pengelolaan data.
Artikel ini juga menyoroti dukungan Jaql untuk generik, fungsi tingkat tinggi, dan sifat tipe, memungkinkan pola pemrograman yang fleksibel dan aman tipe. Fitur-fitur ini memposisikan Jaql sebagai bahasa modern yang bertujuan untuk menyeimbangkan keamanan, ekspresivitas, dan kinerja.
Sebagai kesimpulan, meskipun diskusi komunitas sebagian besar berfokus pada bahasa yang berbeda (Jakt), artikel itu sendiri mempresentasikan Jaql sebagai proyek ambisius dengan fokus kuat pada keamanan memori dan fitur bahasa modern. Seperti halnya banyak bahasa pemrograman baru, keberhasilannya kemungkinan akan bergantung pada adopsi komunitas, pengembangan berkelanjutan, dan menemukan ceruknya dalam lanskap bahasa pemrograman sistem yang aman memori yang semakin padat.
Referensi: Bahasa pemrograman Jaql