Alan Kay ug Marvin Minsky: Ang Computer Science naa nay "grammar". Kinahanglan ang "literatura"

Alan Kay ug Marvin Minsky: Ang Computer Science naa nay "grammar". Kinahanglan ang "literatura"

Una gikan sa wala mao si Marvin Minsky, ikaduha gikan sa wala mao si Alan Kay, dayon si John Perry Barlow ug Gloria Minsky.

Pangutana: Unsaon nimo paghubad ang ideya ni Marvin Minsky nga β€œAduna nay gramatika ang Computer Science. Ang iyang gikinahanglan kay literatura.”?

Alan Kay: Ang labing makaiikag nga aspeto sa pagrekord Blog ni Ken (lakip ang mga komentaryo) mao nga walay kasaysayan nga pakisayran niini nga ideya nga makita bisan asa. Sa tinuud, kapin sa 50 ka tuig ang milabay sa 60s adunay daghang mga paghisgot bahin niini ug, sa akong nahinumduman, daghang mga artikulo.

Una nakong nadungog ang bahin niini nga ideya gikan ni Bob Barton, kaniadtong 1967 sa graduate school, sa dihang gisultihan niya ako nga kini nga ideya bahin sa pagdasig ni Donald Knuth sa dihang gisulat niya ang The Art of Programming, nga ang mga kapitulo niini nagpalibot na. Usa sa mga nag-unang pangutana ni Bob kaniadto mao ang bahin sa "mga pinulongan sa pagprograma nga gidisenyo aron basahon sa mga tawo ingon man sa mga makina." Ug kana ang panguna nga kadasig alang sa mga bahin sa disenyo sa COBOL sa sayong bahin sa 60s. Ug, tingali labi ka hinungdanon sa konteksto sa among hilisgutan, kini nga ideya makita sa sayo kaayo ug matahum nga pagkadisenyo nga interactive nga lengguwahe nga JOSS (kasagaran Cliff Shaw).

Sama sa naobserbahan ni Frank Smith, ang literatura nagsugod sa mga ideya nga angay hisgutan ug isulat; kasagaran kini nga partially nagmugna og mga representasyon ug nagpalapad sa kasamtangan nga mga pinulongan ug mga porma; kini modala ngadto sa bag-ong mga ideya mahitungod sa pagbasa ug pagsulat; ug sa kataposan sa bag-ong mga ideya nga dili bahin sa orihinal nga motibo.

Kabahin sa ideya sa "literaturisasyon" mao ang pagbasa, pagsulat, ug paghisgot sa ubang mga artikulo nga mahimong makapainteres. Pananglitan, ang lektyur sa Turing Award ni Marvin Minsky nagsugod sa: "Ang problema sa Computer Science karon mao ang sobra nga kabalaka sa porma kaysa sa sulud.".

Ang iyang gipasabot mao nga ang labing importante nga butang sa pag-compute mao ang kahulogan ug unsaon kini paglantaw ug pagrepresentar, sukwahi sa usa sa dagkong mga tema sa dekada 60 mahitungod sa pag-analisar sa programming ug natural nga mga pinulongan. Alang kaniya, ang labing makaiikag nga butang bahin sa tesis sa estudyante sa Magtutudlo nga si Terry Winograd mao nga bisan kung dili kini husto sa termino sa gramatika sa Ingles (kini maayo kaayo), apan kini mahimo’g masabtan kung unsa ang gisulti ug mahimong makatarunganon kung unsa ang miingon sa paggamit niini nga bili. (Kini usa ka throwback sa gi-report ni Ken sa blog ni Marvin).

Usa ka parallel nga paagi sa pagtan-aw sa "ubiquitous nga pagkat-on sa pinulongan." Daghan ang mahimo nga dili usbon ang lengguwahe o bisan pagdugang usa ka diksyonaryo. Susama kini kung giunsa sa mga simbolo sa matematika ug syntax nga dali ra kaayo ang pagsulat sa usa ka pormula. Kini mao ang bahin sa Marvin sa pagkuha sa. Kataw-anan nga ang Turing machine sa libro ni Marvin Computation: Finite and Infinite Machines (usa sa akong paborito nga mga libro) usa ka kasagaran nga kompyuter nga adunay duha ka mga instruksyon (idugang ang 1 aron magparehistro ug ibasura ang 1 gikan sa rehistro ug mga sanga ngadto sa bag-ong instruksiyon kung ang rehistro mas ubos kay sa 0 - adunay daghang mga kapilian.)

Kini usa ka komon nga programming language, apan hibaloa ang mga lit-ag. Ang usa ka makatarunganon nga solusyon sa "universally nakat-on" kinahanglan usab nga adunay piho nga mga matang sa makapahayag nga gahum nga lagmit nanginahanglan daghang oras sa pagkat-on.

Ang interes ni Don sa gitawag nga "literate programming" misangpot sa paghimo sa usa ka authoring system (gitawag sa kasaysayan nga WEB) nga magtugot kang Don sa pagpatin-aw sa mismong programa nga gisulat, ug nga naglakip sa daghang mga feature nga nagtugot sa mga bahin sa programa nga mahimong gikuha alang sa pagtuon sa tawo. Ang ideya mao nga ang usa ka dokumento sa WEB usa ka programa, ug ang compiler mahimong makuha ang gihugpong ug ma-executable nga mga bahin gikan niini.

Ang laing sayo nga kabag-ohan mao ang ideya sa dinamikong media, nga usa ka popular nga ideya sa ulahing bahin sa 60s, ug alang sa kadaghanan kanato usa ka importante nga bahin sa interactive PC computing. Usa sa ubay-ubay nga mga motibo alang niini nga ideya mao ang pagbaton og usa ka butang sama sa "Newton's Principles" diin ang "matematika" dinamiko ug mahimong ipadagan ug ihigot sa mga graphic, ug uban pa. Kabahin kini sa motibo sa pagpasiugda sa ideya sa Dynabook sa tuig 1968. Usa sa mga termino nga nagsugod nga gigamit kaniadto mao ang "aktibo nga essay," diin ang mga klase sa pagsulat ug argumento nga gipaabut sa usa ka sanaysay gipauswag sa interactive nga programa nga usa sa daghang mga tipo sa media alang sa usa ka bag-ong tipo sa dokumento.

Ang pipila ka maayo kaayo nga mga pananglitan gihimo sa Hypercard ni Ted Cuyler mismo sa ulahing bahin sa 80s ug sayo sa 90s. Ang hypercard dili direkta nga gi-configure alang niini - ang mga script dili mga butang sa media alang sa mga kard, apan mahimo nimong buhaton ang pipila ka trabaho ug makakuha mga script nga ipakita sa mga kard ug himuon kini nga interactive. Usa ka partikular nga provocative nga pananglitan mao ang "Weasel", nga usa ka aktibo nga sanaysay nga nagpatin-aw bahin sa libro ni Richard Dawkins nga Blind Watchmaker, nga gitugotan ang magbabasa nga mag-eksperimento sa usa ka balangkas nga gigamit ang usa ka matang sa proseso sa pagpasanay aron makit-an ang target nga mga tudling-pulong.

Angay nga hunahunaon nga samtang ang Hypercard usa ka hapit hingpit nga angay alang sa nag-uswag nga Internet-ug ang kaylap nga pagsagop niini sa sayong bahin sa '90s-ang mga tawo nga nagmugna sa Internet mipili nga dili dawaton kini o ang mas dagkong mga ideya ni Engelbart. Ug ang Apple, nga adunay daghang mga tawo sa ARPA / Parc sa pako sa panukiduki niini, nagdumili sa pagpaminaw kanila bahin sa kahinungdanon sa Internet ug kung giunsa ang Hypercard mahimong maayo sa pagsugod sa usa ka simetriko nga read-write nga sistema. Ang Apple nagdumili sa paghimo sa usa ka browser sa panahon nga ang usa ka tinuod nga maayo nga browser mahimo’g usa ka hinungdanon nga pag-uswag, ug mahimo’g adunay dako nga papel kung giunsa ang nahimo nga "publiko nga nawong" sa Internet.

Kung magpadayon kita sa unahan sa pipila ka tuig atong madiskubrehan ang hingpit nga kabuang - halos malaw-ay bisan - sa usa ka web browser nga walay tinuod nga sistema sa pag-uswag (hunahunaa kung unsa ka hungog nga pag-uswag sa wiki ang kinahanglan nga molihok), ug isip usa sa daghang yano nga mga pananglitan, usa ka artikulo sa Wikipedia sama sa LOGO , nga nagtrabaho sa usa ka kompyuter, apan wala magtugot sa magbabasa sa artikulo nga sulayan ang programming LOGO gikan sa artikulo. Kini nagpasabut nga ang hinungdanon sa mga kompyuter gibabagan sa mga tiggamit sa pagpanalipod sa lainlaing mga pagpatuman sa daan nga media.

Angay nga hunahunaon nga ang Wikipedia mao ang nag-unang genre sa paghunahuna, pag-imbento, pagpatuman, ug pagsulat sa "literatura sa pag-compute" nga gikinahanglan (ug kini siguradong naglambigit sa pagbasa ug pagsulat sa daghang porma sa multimedia, lakip ang programming).

Ang labi pa nga angay hunahunaon mao nga dili ako makasulat ug programa dinhi niining tubag sa Quora - sa 2017! - Makatabang kini nga ipakita kung unsa gyud ang akong gipaningkamutan nga ipatin-aw, bisan pa sa dako nga gahum sa kompyuter nga nagpahiping niining huyang nga ideya sa interactive media. Ang importante nga pangutana mao ang "unsa ang nahitabo?" hingpit nga nataligam-an dinhi.

Aron makakuha usa ka ideya sa problema, ania ang usa ka sistema sa 1978 nga among gibanhaw sa usa ka bahin pipila ka tuig ang milabay ingon usa ka pagpasidungog kang Ted Nelson ug usa ka bahin alang sa kalingawan.

(Palihug tan-awa dinhi sa 2:15)


Ang tibuuk nga sistema usa ka sayo nga pagsulay sa akong gihisgutan karon kapin sa 40 ka tuig ang milabay.

Ang usa ka panguna nga pananglitan makita sa 9:06.


Gawas sa "dinamikong mga butang", usa sa mga mahinungdanong konsiderasyon dinhi mao nga ang "mga panan-aw" - ang media nga makita sa panid - mahimong maproseso nga parehas ug independente sa ilang sulod (gitawag nato sila nga "mga modelo"). Ang tanan usa ka "bintana" (ang uban adunay klaro nga mga utlanan ug ang uban wala magpakita sa ilang mga utlanan). Ang tanan niini gihugpong sa panid sa proyekto. Ang usa pa nga panabut mao nga tungod kay kinahanglan nimo nga mag-compose ug magkombinar sa pipila ka mga butang, siguroha nga ang tanan composable ug compositional.

Sa akong hunahuna nga ang dili sopistikado nga mga tiggamit mahimong mapasaylo tungod sa dili makahimo sa pagsaway sa dili maayo nga mga laraw. Apan ang mga programmer nga naghimo og interactive nga media alang sa mga tiggamit, ug kinsa wala magtagad sa pagkat-on mahitungod sa media ug disenyo, ilabi na gikan sa kasaysayan sa ilang kaugalingong natad, kinahanglan nga dili dali nga makalingkawas niini ug dili kinahanglan nga gantihan sa pagbuhat niini. sila β€œmas huyang”.

Sa katapusan, ang usa ka uma nga walay tinuod nga literatura halos katumbas sa kamatuoran nga ang natad dili usa ka uma. Ang literatura usa ka paagi sa pagpreserbar sa mga maayong ideya sa usa ka bag-ong genre, ug sa karon ug sa umaabot nga panghunahuna sa kana nga natad. Kini, siyempre, wala diha sa mga kalkulasyon sa bisan unsa nga mapuslanon nga gidak-on. Sama sa kultura sa pop, ang pag-compute mao gihapon ang labing interesado sa kung unsa ang mahimo nga wala’y daghang pagbansay, ug kung diin ang pagpatay labi ka hinungdanon kaysa sa mga sangputanan sa mga sangputanan. Ang literatura usa sa mga medium diin mahimo kang mobalhin gikan sa yano ug dayon ngadto sa mas dako ug mas importante.

Kinahanglan namo kini!

Mahitungod sa GoTo School

Alan Kay ug Marvin Minsky: Ang Computer Science naa nay "grammar". Kinahanglan ang "literatura"

Source: www.habr.com

Idugang sa usa ka comment