Tentang “Kebodohan Pemrograman Bahasa Alami” menurut Dijkstra

Kritik terhadap kebodohan pemrograman bahasa alami

• Sejak masa awal kalkulator otomatis, sudah ada orang-orang yang tidak puas dengan cara pemrograman yang menuntut sistem simbol formal
• Mesin adalah ‘budak yang setia’ yang menjalankan perintah persis sebagaimana diberikan, sehingga bahkan kesalahan yang jelas pun tetap dieksekusi
• Sebagian orang berharap mesin bertindak lebih ‘rasional’, alih-alih mengabaikan kesalahan dan tetap menjalankannya

Kemunculan dan perkembangan bahasa pemrograman tingkat tinggi

• Bahasa mesin dipandang sebagai antarmuka berbahaya karena hampir tidak memiliki deteksi kesalahan maupun redundansi
• Karena itu, bahasa pemrograman tingkat tinggi pun muncul, disertai kemajuan yang mencegah hasil keliru melalui pesan kesalahan
• Namun, pemrograman tetap menuntut simbol formal dan tetap memerlukan ketelitian yang cermat

Gagasan memprogram dengan bahasa alami dan bantahannya

• Ada pendapat bahwa mengendalikan mesin dengan bahasa alami akan membuat pengguna lebih nyaman
• Seiring mesin menjadi lebih kompleks, hal ini dianggap dapat membantu pengguna
• Namun, perubahan antarmuka bukan menyesuaikan pembagian kerja, melainkan justru menambah beban kerja kolaborasi dan komunikasi
• Dalam praktiknya, makin luas antarmuka, makin besar pula beban kerja di kedua sisi sehingga sering kali justru menjadi lebih rumit

Contoh historis dalam matematika dan sistem simbol

• Matematika Yunani kuno tetap bertahan pada pendekatan yang berpusat pada bahasa dan gambar, sehingga perkembangannya mandek
• Matematika Islam juga terhenti karena gagal mengadopsi sistem simbol
• Eropa mencapai kemajuan pesat ketika tokoh-tokoh seperti Vieta, Descartes, Leibniz, dan Boole memperkenalkan sistem simbol formal

Keunggulan bahasa formal dan keterbatasan bahasa alami

• Bahasa formal dapat mencegah banyak kesalahan hanya dengan beberapa aturan sederhana
• Simbol formal memungkinkan siswa melakukan penalaran logis yang dahulu hanya mungkin bagi para jenius
• Bahasa alami mudah tercampur dengan ungkapan yang ambigu dan tak bermakna, sehingga tidak cocok untuk ekspresi logis yang bebas kesalahan

Bagaimana jika bahasa alami menjadi satu-satunya cara input/output?

• Jika sejak awal mesin hanya dikendalikan dengan bahasa alami, pada akhirnya kita tetap akan memerlukan proses ‘bootstrap’ untuk kembali ke sistem formal
• Proses ini bisa memakan waktu ribuan tahun, dan pada akhirnya tetap akan bermuara pada bahasa formal

Kemunduran pendidikan dan fenomena ‘buta huruf baru’

• Dalam beberapa dekade terakhir, melemahnya pelatihan intelektual membuat banyak orang bahkan tidak mampu menggunakan bahasa ibu mereka sendiri dengan baik
• Gejala ini dibuktikan oleh melimpahnya kata-kata tak bermakna dalam makalah ilmiah, laporan teknis, dan dokumen pemerintah
• Fenomena ini membuat kegagalan pemrograman bahasa alami dapat diperkirakan

Intuisi penutup

• Menciptakan mesin yang dapat diprogram dengan bahasa alami akan sama sulitnya dengan menggunakan mesin itu sendiri

[GN⁺]

Komentar Hacker News

• Ada pendapat bahwa membela LLMs (model bahasa besar) itu terlihat keren

  • Sebaliknya, menarik untuk bertanya apa yang terjadi jika proyek dengan kompleksitas menengah diubah dari kode menjadi bahasa alami
  • Diragukan apakah perilaku dan kebutuhan source code bisa dijelaskan dengan cukup, dan apakah penjelasan dalam bahasa alami benar-benar lebih mudah dipahami
  • Yang sering didemokan terutama aplikasi sederhana karena sulit mengelola kompleksitas dan presisi
  • Ada alasan mengapa istilah hukum bukan bahasa Inggris biasa

• Kutipan lama dari Hal Abelson teringat kembali

  • Ilmu komputer bukanlah sains, dan tidak terlalu berkaitan dengan komputer
  • Revolusi komputer adalah revolusi dalam cara berpikir dan cara berekspresi
  • Matematika memberikan konsep yang presisi tentang 'apa', dan komputasi memberikan konsep yang presisi tentang 'bagaimana'

• Bahasa alami memiliki keterbatasan yang berasal dari batas mental manusia

  • Sebagai programmer, masalah atau absurditas sering baru menjadi jelas setelah kode diimplementasikan
  • Menjelaskannya secara akurat dalam bahasa alami justru memakan lebih banyak waktu

• Bahasa mesin dipandang sebagai antarmuka yang berbahaya tanpa perlu

  • Bahasa pemrograman tingkat tinggi dikembangkan untuk mengurangi kesalahan
  • Rust menguntungkan bagi developer karena secara jelas menunjukkan kesalahan
  • LLMs terasa seperti permainan tebak-tebakan yang setengah cerdas
  • Pendekatan Rust lebih disukai

• Alih-alih menghasilkan program komputer dengan bahasa alami, bahasa alami seharusnya dieksekusi langsung

  • Diberikan contoh sistem grafis dan program tic-tac-toe
  • Prompt untuk file system dan OS multitasking juga diperlukan
  • Perkembangan seperti ini diharapkan pada awal April tahun depan

• Bahasa alami tidak cocok untuk menyampaikan aturan dan perintah

  • Masalah penafsiran hukum di Amerika Serikat dijadikan contoh
  • Kejelasan dan akuntabilitas bahasa komputer menciptakan keseimbangan

• Bahasa untuk domain tertentu memberikan presisi dan kejelasan yang tidak bisa diberikan bahasa alami

  • Jika dicoba sebaliknya, akan dibutuhkan lebih banyak pekerjaan

• Forth, PostScript, dan Assembly adalah bahasa pemrograman 'alami' yang cocok dengan lingkungan eksekusi kode

  • Pertanyaannya adalah, 'alami' itu alami bagi manusia atau bagi komputer
  • AI tidak membuat bahasa manusia menjadi alami bagi komputer
  • AI akan menciptakan bahasa yang sesuai dengan lingkungannya sendiri

• Metode pemrograman tingkat tinggi akan mulai terlihat lebih seperti bahasa pemrograman daripada bahasa alami

  • Jika tidak ingin melakukan pemrograman, tetap dibutuhkan cara untuk menginstruksikan kecerdasan yang akan melakukannya
  • Cara memberi instruksi tingkat tinggi akan lebih menyerupai pengajaran daripada bahasa alami

• Fakta bahwa kesalahan muncul sebagai pesan error adalah peningkatan besar

  • Sebagian orang justru merasa lebih terganggu karena pesan error tidak bisa diabaikan
  • Saat menilai kelebihan bahasa pemrograman, ada juga yang menyamakan 'kemudahan pemrograman' dengan kemudahan melakukan kesalahan