Mengapa arus utama pemrograman tidak melek huruf? [Tutup]

Pemrograman melek huruf memiliki cita-cita yang baik. Menurut Anda mengapa ini bukan arus utama? Apakah karena gagal mengirim?

Saya pertama kali melihatnya di buku tulisan-tulisan Knuth, dan berpikir itu terlihat rapi. Kemudian saya mencoba menggunakan tampilan pemrograman sastra untuk memahami apa yang sedang terjadi dalam program, dan ternyata lebih sulit daripada yang terlihat. Mungkin saya sudah terlalu terbiasa membaca daftar program, tapi sepertinya membingungkan.

Lalu saya melihat kode sumber, dan itu mematikan saya saat itu juga. Saya harus belajar menulis program dengan cara yang sama sekali baru, dengan lebih sedikit korespondensi antara teks program dan apa yang dilihat kompiler, dan tidak melihat manfaat yang sesuai.

Selain itu, orang dapat menulis argumen yang panjang dan meyakinkan bahwa kode tersebut melakukan X ketika itu benar-benar melakukan Y, dan saya telah mengalami banyak komentar yang menyesatkan. Saya mengembangkan kesukaan untuk membaca kode untuk melihat apa yang dilakukannya cukup awal. Pemrograman melek adalah antitesis dari itu.

Saya akan menyalahkan efek jaringan . Agar orang lain mengedit kode dan dokumentasi Anda, mereka harus dapat memahaminya.

Ini mendorong orang menjauh dari sesuatu seperti cweb / noweb, karena menggunakan mereka akan mengharuskan Anda untuk belajar TeX dan sintaks khusus program di atas bahasa pemrograman yang Anda gunakan untuk proyek. Ini bisa dilihat sebagai pemborosan waktu, terutama jika mereka tidak memerlukan pengaturan huruf matematika yang merupakan pengundian besar bagi TeX. (Dan bagi banyak pemrogram aplikasi, mereka benar-benar tidak akan membutuhkannya.) Sebaliknya mereka lebih suka sesuatu seperti komentar XML Visual Studio, karena itu sudah populer dan mapan.

Tempat saya telah melihat lepas landas pemrograman dalam komputasi ilmiah / statistik, di mana sebagian besar programmer memiliki pelatihan yang signifikan (alias PhD) dalam matematika, CS, atau statistik, dan dengan demikian sudah akrab dengan LaTeX. Dokumentasi yang mereka tulis lebih cenderung mencakup banyak formula rumit yang paling baik ditulis dalam TeX, dan mereka lebih cenderung pemrograman dalam R. Proporsi programmer R yang tahu tentang SWeave jelas jauh lebih tinggi daripada, katakanlah, Proporsi programmer C yang tahu tentang cweb.

Saya terpesona dengan konsep Pemrograman Literate di akhir 90-an saat belajar, dan saya masih tertarik dengan pendekatan Knuths untuk pemrograman, dan penyusunan huruf. Tidak ada yang terbaik selain yang akan dilakukan.

Sistem Pemrograman Aksara yang dirancang Knuth melakukan banyak hal, lebih dari yang langsung terlihat, yaitu mengatasi banyak kekurangan dalam bahasa pemrograman yang mendasarinya yang dihasilkan oleh alat pembuat kode dari dokumen sumber Knuths, yaitu standar Pascal.

Bagi mereka yang cukup beruntung belum mencoba Standard Pascal, berikut adalah beberapa hal menarik.

• Untuk membuatnya lebih mudah untuk memiliki kompiler single-pass, spesifikasi bahasa mengatakan bahwa semua deklarasi harus datang dalam urutan tertentu. Dari halaman wikipedia: "Setiap prosedur atau fungsi dapat memiliki deklarasi sendiri tentang label goto, konstanta, tipe, variabel, dan prosedur dan fungsi lainnya, yang semuanya harus dalam urutan itu." Ini berarti Anda tidak dapat mengelompokkan barang-barang Anda secara logis dalam file sumber.
• Penanganan string lebih membosankan daripada di dataran C.
• Pengidentifikasi tidak boleh memiliki panjang sewenang-wenang.
• Banyak hal yang tidak dapat saya ingat lagi.

Semua hal ini pada dasarnya berarti bahwa Knuth membutuhkan bahasa pemrograman yang lebih baik (jadi dia menciptakannya) dan menggunakan Pascal sebagai bahasa rakitannya.

Kebanyakan bahasa modern dapat melakukan hal-hal ini tanpa banyak usaha, oleh karena itu menghapus sebagian besar pekerjaan yang harus dipecahkan Pemrograman Sastra.

Juga bahasa modern lebih ekspresif yang memungkinkan lebih banyak pemikiran untuk dimasukkan ke dalam kode itu sendiri.

Jadi, apa yang tersisa? Kemampuan untuk menghasilkan bentuk kumpulan dokumen dari kode sumber, dan BAHWA ada saat ini.

Bayangkan saja JavaDoc - Java runtime API mungkin adalah bagian terbesar dari Programming Literate yang tersedia saat ini (kecuali bahwa kode tersebut tidak benar-benar disajikan, tetapi BISA saja jika Java terbuka bersumber dari awal). Lihat misalnya presentasi kerangka koleksi di http://download.oracle.com/javase/6/docs/api/java/util/Collection.html

Saya percaya sistem serupa ada untuk .NET dan program utama lainnya.

Satu hal yang saya temukan ketika saya bergaul dengan pemrograman terpelajar di tahun 90-an adalah bahwa hal itu menarik orang-orang yang sangat bersemangat yang ingin melakukan Exactly The Right Thing - dan itu melibatkan penulisan sistem pemrograman literasi mereka sendiri karena tidak ada yang cukup baik untuk mereka. noweb adalah upaya yang baik untuk memotong itu dengan menyediakan penyebut yang cukup umum paling baik untuk semua orang, meskipun bahkan kemudian, saya menghabiskan sebagian besar waktu LP saya mengembangkan printer-cantik untuk itu ...

Masalah lain adalah bahwa itu benar-benar anti-gesit. Dalam beberapa hal, diperlambat itu baik karena memaksa Anda untuk berpikir lebih awal dan memperbaiki keadaan saat pertama kali. Di sisi lain, mendokumentasikan dengan cermat saat Anda pergi berarti ada hambatan besar untuk refactoring kode Anda. Dan jika Anda menunggu sampai kode Anda dikeraskan sebelum LP-ify itu, Anda berakhir dengan tugas dokumentasi multi-hari, yang benar-benar dapat menghentikan Anda di trek Anda.

Menurut pendapat saya yang sederhana, banyak perusahaan memiliki budaya yang berlawanan dengan tujuan Pemrograman Literate: mereka menginginkan hasil yang lebih cepat (mereka hanya menangis tentang kualitas ketika aplikasi sedang dalam produksi). Dalam pengalaman saya sendiri, bos saya telah menolak untuk memahami bahwa hasil yang lebih cepat tidak berarti "sebuah program yang dapat dijalankan sehari setelah saya memintanya." Bagi mereka, jika seorang pengembang tidak sibuk mengetik di atas keyboard-nya, ia tidak bekerja, "membuang-buang waktu dalam desain-tidak masuk akal". Ya, saya tahu, bos saya adalah gudang senjata.

Coder menulis kode bukan bahasa Inggris.

Coder tidak suka menulis dokumentasi karena itu tidak membantu menjalankan kode.

Coder tidak pandai menulis dokumentasi karena media yang buruk untuk mengekspresikan ide-ide mereka.

Pemrograman melek huruf tampaknya menjadi ide untuk membawa dokumentasi ke tingkat berikutnya di mana kode lebih merupakan pemikiran setelahnya. Mungkin itu akan berhasil, tetapi bagi kebanyakan coder sepertinya dokumentasi yang menjengkelkan.

Terutama karena orang itu SANGAT BODOH. Kesaksian yang jelas yang merupakan aliran tebakan dan kesalahpahaman yang tak berujung yang diungkapkan oleh kaum muda tentang sifat teknik sederhana ini.

Orang-orang menganggap LP sebagai: (a) metode dokumentasi (b) metode penulisan beberapa esai yang dipoles yang memerlukan beberapa keterampilan atau bakat khusus (c) sama sekali tidak memiliki petunjuk - sebagai pencipta editor pemrograman Leo, dengan pengakuannya sendiri dll. dll.

Namun LP hanya: (1) menulis program dalam campuran kode dan frasa dalam bahasa manusia (= apa saja), di mana yang terakhir berdiri untuk potongan kode lain dan / atau frasa yang disertakan. Inilah yang dilakukan oleh penulis buku teks pemrograman yang tak terhitung jumlahnya .. dan (2) itu adalah preprocessor sederhana yang memperluas frasa-frasa itu pada manusia (yang menjadi seolah-olah nama-nama subrutin yang disertakan) untuk mengurai hasilnya DALAM PESANAN YANG DIBUTUHKAN OLEH KOMPILER (atau penerjemah). Kalau tidak, seseorang dapat memperluas teks tertulis dengan utilitas kecil lain untuk memasukkan simbol pemformatan untuk mengubah "sumber melek" menjadi teks yang dapat dibaca dan diformat dengan baik.

Orang muda tidak pernah mencoba ide yang sangat sederhana ini - dan berfantasi atau membayangkan alasan palsu mengapa mereka tidak akan pernah mencoba atau melakukannya.

Pada dasarnya ide utama pemrograman "dalam pseudocode" ditulis dalam bahasa manusia dan kemudian mengembangkannya dengan utilitas preprosesor sederhana. BANTUAN MENGELOLA PERHATIAN (terbatas, kesulitan utama untuk setiap program gondrong), cukup mirip dengan pelipatan kode atau pembagian aliran program Anda ke dalam fungsi / subrutin, diperlukan agar Anda tidak kehilangan diri sendiri dalam detail, tetapi sepenuhnya tidak perlu untuk eksekusi mesin.

Ada 2 aspek program melek huruf yang saya lakukan keinginan dimasukkan ke dalam program utama - tertanam citra (misalnya, diagram desain) dan pointer ke usaha-usaha sebelumnya dan alternatif (misalnya, "Alasan itu seperti ini karena saya mencoba cara lain ini dan itu tidak berhasil karena ... "). Kedua aspek tersebut dapat ditangani dengan komentar dokumen dan URI.

Karena logika program tidak bekerja sama dengan yang kita bicarakan. Suatu program memiliki aliran yang ditentukan dengan baik, dan kondisi, dan loop.

Setelah memiliki banyak kode, saya BERPIKIR dalam istilah ini. Otak saya mengubah masalah menjadi domain target dari kode yang dapat dieksekusi. Dan jauh lebih efisien bagi saya untuk menuliskan ini dalam bahasa pemrograman yang biasa, daripada harus melakukan langkah transformasi ekstra untuk membuat program saya melek.

Bahkan, saya percaya program saya sudah melek ... pengenal berbicara, nama fungsi yang baik, komentar di mana saya melakukan beberapa hackery yang saya tidak akan langsung mengerti setelah beberapa bulan.

Untuk menyimpulkan: Kode Java saya lebih melek dengan sendirinya seperti yang diinginkan oleh setiap pemrograman "melek".

Saya datang ke pemrograman melek sebaliknya - saya bermimpi memiliki kode yang diatur sesuai dengan pikiran saya, bukan sebagai kompiler membutuhkannya. Saya menemukan Leo hampir ideal untuk tujuan ini. Ini juga mendukung melacak file yang diubah di luar. File-file ini tidak harus mengandung markup khusus, jadi saya bisa menggunakan Leo untuk diri saya sendiri tanpa perlu orang lain di tim tahu. Fitur ini - "@shadow trees" - sangat menjanjikan, meskipun masih sedikit buggy, membutuhkan lebih banyak bola mata. Dan itu juga memperbaiki masalah "oh tidak, semuanya dalam satu file besar" dengan mengatur semuanya menjadi garis besar pohon dan dengan dukungan untuk file eksternal.

Bagi saya, bertentangan dengan namanya, "pemrograman melek huruf" bukan tentang dokumentasi sama sekali. Saya tidak memiliki lebih banyak dokumentasi dari sebelumnya. Ini tentang memiliki struktur yang membantu saya untuk tidak menjadi tersesat . Saya bersumpah terutama ketika mengelola file JSP raksasa (dan bahwa meskipun Leo awalnya ditujukan terutama untuk Python dan tidak memiliki dukungan untuk bahasa JSP - saya harus membagi file ke pohon Leo secara manual!).

Saya melihatnya sebagai alat pengajaran yang berharga, di mana disertasi tentang kode dapat ditulis, dan kemudian potongan-potongan kode kerja disisipkan di dalamnya untuk mengajar pembaca tentang bagaimana, apa, dan mengapa kode itu.

Di luar lingkungan pendidikan yang murni, saya pikir hanya Knuth yang benar-benar mengerti cara terbaik untuk menggunakannya.

Ini adalah yang terburuk dari semua dunia - Anda harus menulis program komputer yang sangat benar, sangat spesifik dalam bahasa yang sangat tidak spesifik = bahasa Inggris. Jadi Anda harus hati-hati menulisnya menggunakan frasa yang tepat - jadi Anda sebaiknya menulis kode saja.