Sejak hari-hari awal komputasi, beberapa orang melihat formalitas pemrograman sebagai kekurangan, menyalahkan mesin atas kepatuhan ketat terhadap instruksi. Mereka berharap mesin yang lebih 'pintar' yang akan menolak aktivitas nonsensical. Bahasa tingkat tinggi muncul sebagai peningkatan, menangkap banyak kesalahan bodoh dengan pesan kesalahan alih-alih hasil yang salah. Namun, mesin abstrak tetap menjadi budak yang setia, sepenuhnya mampu menjalankan instruksi nonsensical. Pemrograman terus membutuhkan simbol formal dan perhatian yang diperlukan.
Usulan untuk merancang mesin yang dapat diinstruksi dalam bahasa asli akan meningkatkan beban mesin secara signifikan, tetapi pendukung berargumen bahwa ini akan menyederhanakan kehidupan manusia. Ini mengasumsikan kewajiban menggunakan simbol formal adalah sumber kesulitan. Penulis meragukan argumen ini, mencatat bahwa pilihan antarmuka bukan hanya pembagian tenaga kerja — pekerjaan komunikasi melalui antarmuka harus ditambahkan.
Sejarah menunjukkan bahwa simbol formal memungkinkan kemajuan. Matematika Yunani mandek dalam bentuk verbal, dan dunia modern muncul ketika Eropa Barat membebaskan diri dari presisi verbal melalui formalisme yang dirancang dengan hati-hati oleh Vieta, Descartes, Leibniz, dan Boole. Teks formal hanya membutuhkan aturan sederhana untuk manipulasi sah, secara efektif mengesampingkan nonsensical yang hampir tak terhindarkan dihasilkan oleh bahasa asli.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing