Magpie — Bahasa pemrograman yang dirancang agar LLM dapat menulis kode dengan sempurna pada percobaan pertama

Pengenalan proyek

Magpie adalah proyek open-source yang mengusung diri sebagai "bahasa pemrograman pertama yang dibuat untuk agen AI". Jika bahasa yang ada dioptimalkan untuk kemudahan mengetik oleh manusia, Magpie dioptimalkan untuk pembuatan kode oleh LLM. Filosofi intinya adalah "menghilangkan ambiguitas". Di Rust atau TypeScript, a + b mengharuskan inferensi apakah itu penjumlahan integer atau penggabungan string, apakah akan panic saat overflow, dan sebagainya, tetapi di Magpie semua operasi ditulis secara eksplisit seperti i.add { lhs=%a, rhs=%b }. Metode percabangan juga hanya ada satu, yaitu cbr/br, dan perpindahan kepemilikan memori juga dinyatakan sebagai operasi eksplisit. Klaim utamanya adalah "semakin sedikit pilihan, semakin sedikit titik pengambilan keputusan bagi LLM, dan semakin sedikit kesalahan".

Penjelasan

Secara internal, bahasa ini mengadopsi sintaks SSA (Static Single Assignment) dan dikompilasi menjadi kode mesin native melalui LLVM. Manajemen memorinya menggabungkan ARC (Automatic Reference Counting) dan aturan kepemilikan eksplisit bergaya Rust untuk menjamin keamanan tanpa GC. Menurut benchmark yang dipublikasikan, waktu kompilasinya 155ms, lebih cepat daripada Rust (234ms) dan TypeScript (268ms), kecepatan eksekusinya sama dengan Rust yaitu 32ms, dan penggunaan memorinya 1.6MB, jauh lebih rendah dibandingkan TypeScript (69.2MB). Secara khusus, pada metrik kompleksitas kosakata (Vocabulary Complexity) yang menunjukkan prediktabilitas LLM, nilainya 0.107, sekitar setengah dari Rust (0.225) dan TypeScript (0.231).

Namun, Magpie sendiri menyatakan bahwa "jumlah token yang digunakan sekitar 2.3 kali lebih banyak dibandingkan bahasa yang ada", sehingga ada trade-off dari sisi biaya pemanggilan LLM. Penilaian praktisnya dapat berbeda tergantung apakah yang lebih penting adalah mengurangi jumlah percobaan ulang saat agen AI menghasilkan kode kompleks atau efisiensi token. Dibangun dengan Rust dan dapat diinstal dengan cargo build.

git clone https://github.com/magpie-lang/magpie.git  
cd magpie  
cargo build -p magpie_cli  

[tyeolrik]

Hmm.. saya mencari Magpie, ternyata muncul bahasa lain (magpie-lang.org, yang mulai dikembangkan sejak 2013), jadi saya penasaran apakah tidak ada isu hak cipta terkait namanya....

[kuthia]

Setahu saya, nama meteran laser yang saya tahu juga magpie wkwk

[tyeolrik]

Kalau industrinya berbeda, mungkin masih bisa dimaklumi. Karena produknya berbeda, ya?

Tapi ini bahasa pemrograman yang sama wkwk... Kalau saya mengembangkan bahasa baru lalu menamainya C++ atau Rust, rasanya saya bakal kena marah...?

[rlaaudgjs5638]

Menarik. Apakah Anda punya rencana pengembangan ke depannya?

[holywork]

Tidak ada hasil pengukuran penggunaan token aktual untuk satu tugas, jadi ini hanya dugaan bahwa dengan memakai magpie, jumlah percobaan ulang akan berkurang sebesar itu.

[holywork]

Perbandingan Compilation Time-nya terlihat aneh. Kenapa yang dibandingkan ms/token?

[nemorize]

Mungkin karena ini bahasa yang AI-native(?) ya?
Karena ini bukan bahasa yang dibuat untuk ditulis langsung oleh manusia, panjang kode aktual seperti apa dan semacamnya jadi tidak terlalu berarti,
dan tampaknya idenya adalah mengukur waktu kompilasi terhadap prompt untuk mengimplementasikan suatu fungsi... wkwk