GoSuda

Bahasa Modern di Era AI

By Rabbit Princess
views ...

Bahasa Modern

Bahasa modern mengacu pada bahasa yang menawarkan produktivitas, stabilitas, keamanan, dan pemeliharaan yang lebih tinggi dibandingkan dengan bahasa-bahasa sebelumnya. Bahasa-bahasa ini secara aktif mengadopsi teknik dan konsep terbaru, menyediakan alat pengembangan yang lebih efisien dan aman bagi pengembang. Contoh bahasa modern yang representatif meliputi Java, Rust, Python, dan TypeScript, yang memiliki karakteristik sebagai berikut.

1. Desain Berorientasi Objek (OOP)

Sebagian besar bahasa modern dirancang berdasarkan konsep berorientasi objek. Berorientasi objek mendukung prinsip-prinsip seperti enkapsulasi, pewarisan, dan polimorfisme, membuat struktur program jelas dan fleksibel dengan memecah sistem kompleks menjadi objek-objek kecil yang dapat dikelola. Hal ini sangat efektif dalam mengendalikan biaya pengembangan dan upaya dalam pengembangan perangkat lunak berskala besar, serta mengurangi masalah yang mungkin timbul selama pemeliharaan.

2. Syntactic Sugar dan Ekspresi

Bahasa modern menyediakan berbagai syntactic sugar dan sintaks berbasis ekspresi untuk meningkatkan keterbacaan kode dan produktivitas pengembangan. Fitur-fitur seperti operator ternary, ekspresi lambda, dan pencocokan pola mengurangi kode boilerplate, membuat kode lebih mudah diprediksi, dan meningkatkan produktivitas pengembang.

3. Sistem Modul

Bahasa modern memungkinkan pengelolaan program dengan memisahkannya menjadi beberapa unit melalui sistem modul. Hal ini memfasilitasi penggunaan kembali kode dan pengelolaan dependensi, serta membuat pemeliharaan lebih mudah bahkan ketika proyek tumbuh besar. Contoh representatif termasuk Maven/Gradle untuk Java, Cargo untuk Rust, dan npm/yarn untuk TypeScript.

4. Intermediate Language dan Virtual Machine

Bahasa modern mengadopsi intermediate language dan virtual machine untuk platform independence, optimisasi kinerja, dan keamanan. Contoh representatif meliputi JVM, LLVM, WASM, dan GraalVM.

Pengembangan di Era AI dan Keterbatasan Bahasa Modern

Bahasa modern muncul dengan asumsi bahwa manusia menulis sebagian besar kode. Secara alami, tujuan bahasa modern adalah untuk mengurangi tugas berulang, meningkatkan produktivitas, dan secara efektif mengimplementasikan perangkat lunak besar melalui struktur yang memungkinkan pengembang untuk berkolaborasi. Namun, di era AI, asumsi ini semakin runtuh. Alat berbasis AI seperti Copilot dan Cody mengotomatiskan banyak bagian penulisan kode, dan jumlah kode yang dapat dihasilkan oleh satu pengembang meningkat secara eksponensial. Akibatnya, karakteristik bahasa modern yang dulunya dianggap sebagai keuntungan kini secara bertahap berubah menjadi kelemahan kuno.

Desain Berorientasi Objek

AI dapat menganalisis struktur di mana semua informasi ditentukan dalam satu fungsi atau modul dengan cepat dan akurat. Sebaliknya, seiring dengan peningkatan konteks, rentang inferensi yang harus dilakukan juga meningkat, sehingga produktivitas dan akurasi AI menurun. Kode yang ditulis dalam OOP menyebarkan logika ke beberapa objek daripada mengelolanya di satu tempat, dan ini pada akhirnya membutuhkan lebih banyak konteks bagi AI. Mari kita lihat kode di bawah ini.

 1public class AnimalHandler {
 2    public void handle(Animal animal) {
 3        animal.speak();
 4    }
 5}
 6
 7public class Main {
 8    public static void main(String[] args) {
 9        AnimalHandler handler = new AnimalHandler();
10
11        Animal a1 = new Dog();
12        Animal a2 = new Cat();
13        Animal a3 = new Horse();
14
15        handler.handle(a1);
16        handler.handle(a2);
17        handler.handle(a3);
18    }
19}

Dalam kode di atas, AI harus mengulang inferensi berikut untuk mengetahui tindakan apa yang sebenarnya akan dilakukan oleh metode speak():

  1. Instance kelas konkret apa itu animal?
  2. Di mana metode speak() yang di-override dalam kelas tersebut didefinisikan?
  3. Di mana definisi kelas Dog dan Cat, dan apa operasi internalnya?
  4. Apakah ada kemungkinan kelas Dog dan Cat di-override oleh kelas lain?

Informasi ini tidak terkumpul dalam satu file atau satu fungsi, melainkan dapat dipahami hanya dengan mengikuti hubungan antar file kelas dan struktur pewarisan. Terlebih lagi, elemen-elemen yang ditentukan pada waktu runtime seperti reflection atau dynamic loading seperti kotak hitam bagi AI, sehingga analisisnya hampir tidak mungkin.

Syntactic Sugar dan Ekspresi

AI lebih menyukai tindakan eksplisit daripada tindakan implisit, dan lebih memilih untuk menggabungkan struktur sederhana untuk membuat satu jawaban daripada menggunakan struktur yang kompleks. Sebaliknya, syntactic sugar memungkinkan berbagai ekspresi, namun operasi internalnya seringkali sama atau serupa. AI harus mempelajari arti dari berbagai ekspresi ini satu per satu, dan mungkin sulit untuk menilai prioritas sintaks mana yang harus direkomendasikan dalam situasi tertentu.

Intermediate Language dan Virtual Machine

Sebagian besar AI belajar berdasarkan kode sumber. Sebaliknya, intermediate language (bytecode) menghilangkan arti nama variabel selama proses kompilasi, dan harus diinterpretasikan ulang oleh virtual machine pada waktu eksekusi. Ini adalah tugas yang sangat sulit bagi AI untuk dipahami atau diubah. Misalnya, AI dapat mengubah TypeScript ke Go, tetapi mengubah bytecode V8 engine ke bytecode JVM atau bahasa mesin hampir tidak mungkin.

Bahasa Modern Sejati di Era AI

Melalui konten di atas, kita dapat melihat bahwa karakteristik bahasa modern sebenarnya adalah elemen kuno yang tidak cocok untuk era AI. Lalu, bahasa apa yang bisa menjadi bahasa modern yang paling cocok untuk era AI? Petunjuk dapat ditemukan pada elemen-elemen yang pernah ditolak oleh bahasa modern sebelumnya. Bahasa modern di era AI harus:

  1. Memiliki sintaks yang eksplisit dan alur yang alami.
  2. Meninggalkan struktur OOP yang berlebihan dan memiliki struktur yang datar dan sederhana.
  3. Membuat berbagai fungsi hanya dengan kata kunci dasar yang terbatas, daripada syntactic sugar atau pola implisit yang tidak perlu.
  4. Memiliki sistem build yang sederhana dan dapat diprediksi, bukan sistem build yang kompleks.

Bahasa yang paling sesuai dengan kriteria ini adalah Golang. Bahasa Go dirancang untuk mengimplementasikan sebagian besar fungsi praktis hanya dengan kata kunci inti minimal dan kombinasi sintaks yang sederhana, serta secara ketat mengecualikan abstraksi yang tidak perlu dan operasi implisit. Ini adalah struktur yang menguntungkan tidak hanya bagi pengembang manusia tetapi juga bagi AI untuk menafsirkan dan menghasilkan kode.

Karakteristik Go yang mengutamakan struktur yang dapat diprediksi dan datar, alur yang eksplisit, dan sintaks yang konsisten, berbeda dengan bahasa modern yang ada yang dirancang untuk pengembang manusia, lebih cocok untuk lingkungan pengembangan di mana AI berpartisipasi secara aktif. Filosofi desain Go yang konservatif, yang pernah dianggap kuno, kini menjadi pilihan paling maju di era AI.