Alan Kay kaj Marvin Minsky: Komputiko jam havas "gramatikon". Bezonas "literaturon"

Alan Kay kaj Marvin Minsky: Komputiko jam havas "gramatikon". Bezonas "literaturon"

Unue de maldekstre estas Marvin Minsky, dua de maldekstre estas Alan Kay, tiam John Perry Barlow kaj Gloria Minsky.

Demando: Kiel vi interpretus la ideon de Marvin Minsky, ke “Komputiko jam havas gramatikon. Kion ŝi bezonas estas literaturo.”?

Alan Kay: La plej interesa aspekto de la registrado la blogo de Ken (inkluzive de komentoj) estas ke neniu historia referenco al ĉi tiu ideo troveblas ie ajn. Fakte, antaŭ pli ol 50 jaroj en la 60-aj jaroj oni multe parolis pri tio kaj, kiel mi memoras, plurajn artikolojn.

Pri tiu ĉi ideo mi unue aŭdis de Bob Barton, en 1967 en diplomiĝa lernejo, kiam li diris al mi, ke tiu ideo estis parto de la instigo de Donald Knuth kiam li verkis The Art of Programming, kies ĉapitroj jam cirkulis. Unu el la ĉefaj demandoj de Bob tiam temis pri "programlingvoj dezajnitaj por esti legitaj de homoj same kiel de maŝinoj." Kaj tio estis la ĉefa instigo por partoj de COBOL-dezajno en la fruaj 60-aj jaroj. Kaj, eble pli grave en la kunteksto de nia temo, ĉi tiu ideo vidiĝas en la tre frua kaj sufiĉe bele desegnita interaga lingvo JOSS (plejparte Cliff Shaw).

Kiel Frank Smith observis, literaturo komenciĝas per ideoj pridiskutindaj kaj skribindaj; ĝi ofte parte generas reprezentojn kaj etendas ekzistantajn lingvojn kaj formojn; ĝi kondukas al novaj ideoj pri legado kaj skribo; kaj fine al novaj ideoj, kiuj ne estis parto de la origina motivo.

Parto de la ideo de "literaturigo" estas legi, verki kaj referenci al aliaj artikoloj, kiuj povas esti interesaj. Ekzemple, la prelego de la Premio Turing de Marvin Minsky komenciĝas per: "La problemo pri Komputado hodiaŭ estas la obseda zorgo pri formo prefere ol enhavo.".

Kion li volis diri estis, ke la plej grava afero en komputado estas la signifo kaj kiel ĝi povas esti rigardita kaj reprezentita, kontraste al unu el la grandaj temoj de la 60-aj jaroj pri kiel analizi programadon kaj naturajn lingvojn. Por li, la plej interesa afero pri la tezo de la magistra studento Terry Winograd eble estas, ke kvankam ĝi ne estis tre ĝusta laŭ la angla gramatiko (ĝi estis tre bona), sed ke ĝi povis kompreni tion, kio estis dirita kaj povus pravigi tion, kio estis. diris uzante ĉi tiun valoron. (Ĉi tio estas reveno al tio, kion Ken raportas en la blogo de Marvin).

Paralela maniero rigardi "ĉiean lingvolernadon". Multon oni povas fari sen ŝanĝi la lingvon aŭ eĉ aldoni vortaron. Ĉi tio similas al kiel kun matematikaj simboloj kaj sintakso estas tre facile skribi formulon. Ĉi tio estas parte kion Marvin atingas. Estas amuze, ke la Turing-maŝino en la libro de Marvin Computation: Finite and Infinite Machines (unu el miaj plej ŝatataj libroj) estas sufiĉe tipa komputilo kun du instrukcioj (aldonu 1 por registri kaj subtrahi 1 el registro kaj branĉoj al nova instrukcio se registro estas malpli ol; 0 - estas multaj elektoj.)

Ĝi estas ofta programlingvo, sed estu konscia pri la malfacilaĵoj. Racia solvo al "universale lernita" ankaŭ devus havi certajn specojn de esprimpovo kiu verŝajne postulus pli da tempo por lerni.

La intereso de Don pri tielnomita "klera programado" kaŭzis la kreadon de verksistemo (historie nomita WEB) kiu permesus al Don klarigi la programon mem kiu estis skribita, kaj kiu inkludis multajn funkciojn kiuj permesis al partoj de la programo esti. ĉerpita por homa studo. La ideo estis, ke TTT-dokumento estas programo, kaj la kompililo povus eltiri la kompilitajn kaj plenumeblajn partojn el ĝi.

Alia frua novigo estis la ideo de dinamika amaskomunikilaro, kiu estis populara ideo fine de la 60-aj jaroj, kaj por multaj el ni estis grava parto de interaga komputila komputado. Unu el pluraj motivoj por ĉi tiu ideo estis havi ion kiel "Newton's Principles" en kiu "matematiko" estis dinamika kaj povus esti kurita kaj ligita al grafikoj, ktp. Ĉi tio estis parto de la motivo por promocii la Dynabook-ideon en 1968 jaro. Unu el la esprimoj kiuj komencis esti uzitaj tiam estis "aktiva eseo", kie la specoj de skribo kaj argumento kiun oni atendus en eseo estas plifortigitaj per la interaga programo estanta unu el multaj specoj de amaskomunikilaro por nova speco de dokumento.

Kelkaj tre bonaj ekzemploj estis faritaj en Hypercard fare de Ted Cuyler mem en la malfruaj 80'oj kaj fruaj 90'oj. Hypercard ne estis rekte agordita por ĉi tio - skriptoj ne estis amaskomunikilaj objektoj por kartoj, sed vi povus fari iom da laboro kaj akiri skriptojn por montri sur kartoj kaj fari ilin interagaj. Precipe provoka ekzemplo estis "Mustelo", kiu estis aktiva eseo klariganta parton de la libro Blind Watchmaker de Richard Dawkins, permesante al la leganto eksperimenti kun kadro kiu uzis specon de bredprocezo por trovi celfrazojn.

Indas konsideri, ke dum Hypercard estis preskaŭ perfekta taŭga por la emerĝanta Interreto—kaj ĝia ĝeneraligita adopto en la fruaj 90-aj jaroj—la homoj kiuj kreis la Interreton elektis ne akcepti ĝin aŭ la pli grandajn pli fruajn ideojn de Engelbart. Kaj Apple, kiu havis multajn ARPA/Parc-ulojn en sia esplorflugilo, rifuzis aŭskulti ilin pri la graveco de la Interreto kaj kiel Hypercard estus bonega por komenci simetrian lego-skriban sistemon. Apple rifuzis fari retumilon en tempo kiam vere bona retumilo estintus grava evoluo, kaj eble ludis grandegan rolon en kiel la "publika vizaĝo" de Interreto montriĝis.

Se ni antaŭeniras kelkajn jarojn, ni malkovras la absolutan absurdaĵon - preskaŭ obscenan eĉ - de TTT-legilo sen reala evolusistemo (pensu kiom stulta viki-disvolviĝo devis eĉ funkcii), kaj kiel unu el multaj simplaj ekzemploj, vikipedia artikolo kiel LOGO , kiu funkcias en komputilo, sed ne permesas al la leganto de la artikolo provi programi LOGO de la artikolo. Ĉi tio signifis ke kio estis grava por komputiloj estis blokita al uzantoj en defendo de malsamaj efektivigoj de malnova amaskomunikilaro.

Indas konsideri, ke Vikipedio estis kaj estas la ĉefa ĝenro por pensi, inventi, efektivigi kaj verki la "literaturon de komputado", kiu estas bezonata (kaj tio certe implikas kaj legadon kaj skribadon en multaj formoj de plurmedio, inkluzive de programado).

Kio eĉ pli indas pensi pri tio, ke mi ne povas skribi programon ĉi tie en ĉi tiu respondo de Quora - en 2017! - ĉi tio helpos montri tion, kion precize mi provas klarigi, malgraŭ la enorma komputila potenco subesta ĉi tiu malforta ideo de interagaj amaskomunikiloj. La grava demando estas "kio okazis?" estas tute preteratentita ĉi tie.

Por havi ideon pri la problemo, jen sistemo de 1978, kiun ni revivigis parte antaŭ kelkaj jaroj kiel omaĝo al Ted Nelson kaj parte por amuzo.

(Bonvolu rigardi ĉi tie je 2:15)


La tuta sistemo estas frua provo pri tio, pri kio mi nun parolas antaŭ pli ol 40 jaroj.

Ĉefekzemplo videblas je 9:06.


Krom "dinamikaj objektoj", unu el la ĉefaj konsideroj ĉi tie estas, ke "vidoj" - la amaskomunikiloj videblaj sur la paĝo - povas esti prilaboritaj unuforme kaj sendepende de ilia enhavo (ni nomas ilin "modeloj"). Ĉio estas "fenestro" (kelkaj havas eksplicitajn limojn kaj iuj ne montras siajn limojn). Ĉiuj ili estas kompilitaj sur la projektpaĝo. Alia kompreno estis, ke ĉar vi devas komponi kaj kombini iujn aferojn, certigu, ke ĉio estas komponebla kaj komponebla.

Mi pensas, ke oni povas pardoni nesofistikajn uzantojn pro ne povi kritiki malbonajn dezajnojn. Sed programistoj, kiuj faras interagajn amaskomunikilarojn por uzantoj, kaj kiuj ne zorgas lerni pri amaskomunikilaro kaj dezajno, precipe el la historio de sia propra fako, ne devus elturniĝi tiel facile kaj ne devus esti rekompencitaj pro tio. ili estas "pli malfortaj".

Fine, kampo sen vera literaturo preskaŭ egalas al tio, ke la kampo ne estas kampo. Literaturo estas maniero konservi bonegajn ideojn en nova ĝenro, kaj en nuna kaj estonta pensado en tiu kampo. Ĉi tio kompreneble ne ĉeestas en la kalkuloj laŭ iu ajn utila mezuro. Kiel popkulturo, komputiko daŭre estas plej interesita pri tio, kio povas esti farita sen ampleksa trejnado, kaj kie ekzekuto estas pli grava ol la sekvoj de la rezultoj. Literaturo estas unu el la rimedoj, kie oni povas transiri de la simpla kaj tuja al la pli granda kaj grava.

Ni bezonas ĝin!

Pri la GoTo Lernejo

Alan Kay kaj Marvin Minsky: Komputiko jam havas "gramatikon". Bezonas "literaturon"

fonto: www.habr.com

Aldoni komenton