Alan Kay dan Marvin Minsky: Sains Komputer sudah mempunyai "tatabahasa". Perlukan "sastera"

Alan Kay dan Marvin Minsky: Sains Komputer sudah mempunyai "tatabahasa". Perlukan "sastera"

Pertama dari kiri ialah Marvin Minsky, kedua dari kiri ialah Alan Kay, kemudian John Perry Barlow dan Gloria Minsky.

Soalan: Bagaimanakah anda mentafsir idea Marvin Minsky bahawa β€œSains Komputer sudah mempunyai tatabahasa. Apa yang dia perlukan ialah sastera.”?

Alan Kay: Aspek rakaman yang paling menarik blog Ken (termasuk ulasan) ialah tiada rujukan sejarah kepada idea ini boleh ditemui di mana-mana sahaja. Malah, lebih 50 tahun yang lalu pada tahun 60-an terdapat banyak perbincangan mengenai perkara ini dan, seperti yang saya ingat, beberapa artikel.

Saya mula-mula mendengar tentang idea ini daripada Bob Barton, pada tahun 1967 di sekolah siswazah, apabila dia memberitahu saya bahawa idea ini adalah sebahagian daripada motivasi Donald Knuth apabila dia menulis The Art of Programming, yang mana bab-babnya sudah beredar. Salah satu soalan utama Bob ketika itu ialah mengenai "bahasa pengaturcaraan yang direka untuk dibaca oleh manusia dan juga oleh mesin." Dan itulah motivasi utama untuk bahagian reka bentuk COBOL pada awal 60-an. Dan, mungkin yang lebih penting dalam konteks topik kami, idea ini dilihat dalam bahasa interaktif JOSS yang sangat awal dan direka dengan cantik (kebanyakannya Cliff Shaw).

Seperti yang diperhatikan oleh Frank Smith, kesusasteraan bermula dengan idea yang patut dibincangkan dan ditulis; ia sering sebahagiannya menjana perwakilan dan memanjangkan bahasa dan bentuk sedia ada; ia membawa kepada idea baharu tentang membaca dan menulis; dan akhirnya kepada idea baharu yang bukan sebahagian daripada motif asal.

Sebahagian daripada idea "literaturisasi" ialah membaca, menulis, dan merujuk kepada artikel lain yang mungkin menarik. Sebagai contoh, syarahan Anugerah Turing Marvin Minsky bermula dengan: "Masalah dengan Sains Komputer hari ini ialah kebimbangan obsesif dengan bentuk dan bukannya kandungan.".

Apa yang beliau maksudkan ialah perkara yang paling penting dalam pengkomputeran ialah makna dan bagaimana ia boleh dilihat dan diwakili, berbanding dengan salah satu tema besar tahun 60-an tentang cara menganalisis pengaturcaraan dan bahasa semula jadi. Baginya, perkara yang paling menarik tentang tesis pelajar Sarjana Terry Winograd mungkin bahawa walaupun ia tidak begitu betul dari segi tatabahasa bahasa Inggeris (ia adalah sangat baik), tetapi ia boleh memahami apa yang dikatakan dan boleh membenarkan apa yang berkata menggunakan nilai ini. (Ini adalah throwback kepada apa yang Ken laporkan di blog Marvin).

Cara yang selari untuk melihat "pembelajaran bahasa di mana-mana." Banyak yang boleh dilakukan tanpa mengubah bahasa atau menambah kamus. Ini serupa dengan bagaimana dengan simbol dan sintaks matematik sangat mudah untuk menulis formula. Ini adalah sebahagian daripada apa yang Marvin perolehi. Sungguh melucukan bahawa mesin Turing dalam buku Marvin Computation: Finite and Infinite Machines (salah satu buku kegemaran saya) adalah komputer yang agak tipikal dengan dua arahan (tambah 1 untuk mendaftar dan tolak 1 daripada daftar dan cawangan kepada arahan baru jika daftar kurang daripada 0 - terdapat banyak pilihan.)

Ia adalah bahasa pengaturcaraan yang biasa, tetapi sedar tentang perangkap. Penyelesaian yang munasabah untuk "dipelajari secara universal" juga perlu mempunyai jenis kuasa ekspresif tertentu yang mungkin memerlukan lebih banyak masa untuk belajar.

Minat Don dalam apa yang dipanggil "pengaturcaraan celik" membawa kepada penciptaan sistem pengarangan (sejarahnya dipanggil WEB) yang akan membolehkan Don menerangkan program yang sedang ditulis, dan yang termasuk banyak ciri yang membenarkan bahagian program itu menjadi. diekstrak untuk kajian manusia. Ideanya ialah dokumen WEB ialah program, dan pengkompil boleh mengekstrak bahagian yang disusun dan boleh laku daripadanya.

Satu lagi inovasi awal ialah idea media dinamik, yang merupakan idea popular pada akhir 60-an, dan bagi kebanyakan kita adalah bahagian penting dalam pengkomputeran PC interaktif. Salah satu daripada beberapa motif untuk idea ini adalah untuk mempunyai sesuatu seperti "Prinsip Newton" di mana "matematik" adalah dinamik dan boleh dijalankan dan terikat kepada grafik, dll. Ini adalah sebahagian daripada motif untuk mempromosikan idea Dynabook pada tahun 1968. Salah satu istilah yang mula digunakan ketika itu ialah "esei aktif," di mana jenis penulisan dan hujah yang diharapkan dalam esei dipertingkatkan dengan program interaktif sebagai salah satu daripada pelbagai jenis media untuk jenis dokumen baharu.

Beberapa contoh yang sangat baik telah dibuat dalam Hypercard oleh Ted Cuyler sendiri pada akhir 80-an dan awal 90-an. Hiperkad tidak dikonfigurasikan secara langsung untuk ini - skrip bukan objek media untuk kad, tetapi anda boleh melakukan beberapa kerja dan mendapatkan skrip untuk ditunjukkan pada kad dan menjadikannya interaktif. Contoh yang sangat provokatif ialah "Weasel", yang merupakan esei aktif yang menerangkan sebahagian daripada buku Richard Dawkins Blind Watchmaker, yang membolehkan pembaca mencuba rangka kerja yang menggunakan sejenis proses pembiakan untuk mencari ayat sasaran.

Perlu dipertimbangkan bahawa walaupun Hypercard adalah sesuai yang hampir sempurna untuk Internet yang baru munculβ€”dan penggunaannya yang meluas pada awal 90-anβ€”orang yang mencipta Internet memilih untuk tidak menerimanya atau idea awal Engelbart yang lebih besar. Dan Apple, yang mempunyai ramai orang ARPA/Parc dalam sayap penyelidikannya, enggan mendengar mereka tentang kepentingan Internet dan bagaimana Hypercard akan menjadi hebat dalam memulakan sistem baca-tulis simetri. Apple enggan membuat penyemak imbas pada masa apabila penyemak imbas yang benar-benar baik akan menjadi perkembangan penting, dan mungkin memainkan peranan besar dalam bagaimana "wajah awam" Internet ternyata.

Jika kita bergerak ke hadapan beberapa tahun, kita dapati kemustahilan mutlak - hampir lucah walaupun - pelayar web tanpa sistem pembangunan sebenar (fikir betapa bodohnya pembangunan wiki sepatutnya berfungsi), dan sebagai salah satu daripada banyak contoh mudah, artikel Wikipedia seperti LOGO , yang berfungsi pada komputer, tetapi tidak membenarkan pembaca artikel mencuba LOGO pengaturcaraan daripada artikel tersebut. Ini bermakna bahawa perkara yang penting kepada komputer telah disekat kepada pengguna untuk mempertahankan pelaksanaan media lama yang berbeza.

Perlu dipertimbangkan bahawa Wikipedia telah dan merupakan genre utama untuk berfikir, mencipta, melaksanakan dan menulis "sastera pengkomputeran" yang diperlukan (dan ini pastinya melibatkan pembacaan dan penulisan dalam pelbagai bentuk multimedia, termasuk pengaturcaraan).

Apa yang lebih patut difikirkan ialah saya tidak boleh menulis program di sini dalam jawapan Quora ini - pada tahun 2017! - ini akan membantu menunjukkan apa sebenarnya yang saya cuba jelaskan, walaupun kuasa komputer yang besar yang mendasari idea lemah media interaktif ini. Soalan penting ialah "apa yang berlaku?" langsung terlepas pandang di sini.

Untuk mendapatkan idea tentang masalah ini, berikut ialah sistem 1978 yang kami bangkitkan sebahagiannya beberapa tahun lalu sebagai penghormatan kepada Ted Nelson dan sebahagiannya untuk keseronokan.

(Sila tonton di sini pada 2:15)


Keseluruhan sistem adalah percubaan awal pada apa yang saya perkatakan sekarang lebih 40 tahun yang lalu.

Contoh utama boleh dilihat pada 9:06.


Selain daripada "objek dinamik", salah satu pertimbangan utama di sini ialah "pandangan" - media yang boleh dilihat pada halaman - boleh diproses secara seragam dan bebas daripada kandungannya (kami memanggilnya "model"). Semuanya adalah "tetingkap" (sesetengahnya mempunyai sempadan yang jelas dan ada yang tidak menunjukkan sempadannya). Kesemuanya disusun pada halaman projek. Cerapan lain ialah memandangkan anda perlu mengarang dan menggabungkan beberapa perkara, pastikan semuanya boleh digubah dan berkomposisi.

Saya berpendapat bahawa pengguna yang tidak canggih boleh dimaafkan kerana tidak dapat mengkritik reka bentuk yang buruk. Tetapi pengaturcara yang membuat media interaktif untuk pengguna, dan yang tidak mengambil berat untuk belajar tentang media dan reka bentuk, terutamanya dari sejarah bidang mereka sendiri, tidak sepatutnya melepaskannya dengan begitu mudah dan tidak sepatutnya diberi ganjaran kerana berbuat demikian. mereka "lebih lemah".

Akhirnya, bidang tanpa sastera sebenar hampir sama dengan fakta bahawa bidang itu bukan bidang. Kesusasteraan adalah cara untuk mengekalkan idea-idea hebat dalam genre baru, dan dalam pemikiran masa kini dan masa depan dalam bidang itu. Ini, sudah tentu, tidak terdapat dalam pengiraan pada tahap yang berguna. Seperti budaya pop, pengkomputeran masih paling berminat dengan perkara yang boleh dilakukan tanpa latihan yang meluas, dan di mana pelaksanaan lebih penting daripada akibat daripada keputusan. Kesusasteraan adalah salah satu medium di mana anda boleh bergerak dari yang mudah dan segera kepada yang lebih besar dan lebih penting.

Kami perlukannya!

Mengenai GoTo School

Alan Kay dan Marvin Minsky: Sains Komputer sudah mempunyai "tatabahasa". Perlukan "sastera"

Sumber: www.habr.com

Tambah komen