Alan Kay a Marvin Minsky: Informatik huet schonn eng "Grammatik". Brauchen "Literatur"

Alan Kay a Marvin Minsky: Informatik huet schonn eng "Grammatik". Brauchen "Literatur"

Éischt vu lénks ass de Marvin Minsky, zweete vu lénks ass den Alan Kay, duerno den John Perry Barlow a Gloria Minsky.

Froen: Wéi géift Dir dem Marvin Minsky seng Iddi interpretéieren datt "Computer Science huet schonn eng Grammatik. Wat hatt brauch ass Literatur.“?

Alan Kay: Déi interessantst Aspekt vun der Opnam Dem Ken säi Blog (Kommentaren abegraff) ass, datt keng historesch Referenz zu dëser Iddi iwwerall fonnt ginn. Tatsächlech gouf et virun iwwer 50 Joer an de 60er Jore vill doriwwer geschwat an, wéi ech mech erënneren, e puer Artikelen.

Ech hunn fir d'éischt iwwer dës Iddi vum Bob Barton héieren, am Joer 1967 an der Graduéierter Schoul, wéi hien mir gesot huet datt dës Iddi Deel vun der Motivatioun vum Donald Knuth war wéi hien The Art of Programming geschriwwen huet, vun deenen d'Kapitelen scho zirkuléieren. Eng vun den Haaptfroe vum Bob war dunn iwwer "Programméierungssprooche entwéckelt fir vu Mënschen wéi och vu Maschinnen gelies ze ginn." An dat war d'Haaptmotivatioun fir Deeler vum COBOL Design an de fréie 60er. An, vläicht méi wichteg am Kontext vun eisem Thema, dës Iddi ass an der ganz fréi an zimlech schéin entworf interaktiv Sprooch JOSS (meeschtens Cliff Shaw) gesinn.

Wéi de Frank Smith observéiert huet, fänkt d'Literatur mat Iddien un, déi et wäert diskutéieren a schreiwen; et generéiert dacks deelweis Representatioune an erweidert existent Sproochen a Formen; et féiert zu neien Iddien iwwer Liesen a Schreiwen; a schliisslech op nei Iddien, déi net Deel vum ursprénglechen Motiv waren.

En Deel vun der Iddi vun der "Literaturiséierung" ass Liesen, Schreiwen a Referenz op aner Artikelen déi interessant kënne sinn. Zum Beispill fänkt dem Marvin Minsky säin Turing Award Virtrag mat: "De Problem mat Computer Science haut ass déi obsessive Suerg mat Form anstatt Inhalt.".

Wat hie gemengt huet, war datt dat Wichtegst am Informatik d'Bedeitung ass a wéi et ka gekuckt a representéiert ginn, am Géigesaz zu engem vun de groussen Themen vun de 60er Joren iwwer d'Analyse vun der Programméierung an natierleche Sproochen. Fir hien ass dat interessantst iwwer dem Masterstudent Terry Winograd senger Dissertatioun vläicht datt se zwar net ganz korrekt war a punkto englesch Grammatik (et war ganz gutt), awer datt et Sënn ka maachen wat gesot gouf a kéint justifizéieren wat war sot dëse Wäert benotzt. (Dëst ass e Réckbléck op dat wat de Ken um Marvin sengem Blog bericht).

Eng parallel Manéier fir op "allgemeng Sproochléiere" ze kucken. Vill ka gemaach ginn ouni d'Sprooch z'änneren oder souguer e Wierderbuch derbäi ze ginn. Dëst ass ähnlech wéi mat mathematesche Symboler a Syntax et ganz einfach ass eng Formel ze schreiwen. Dëst ass deelweis wat de Marvin ukomm ass. Et ass witzeg datt d'Turing Maschinn am Marvin sengem Buch Computation: Finite and Infinite Machines (ee vu menge Liiblingsbicher) e relativ typesche Computer mat zwee Instruktiounen ass (add 1 fir ze registréieren an subtrahéieren 1 vum Register a Filialen op nei Instruktioun wann de Register manner ass wéi 0 - et gi vill Optiounen.)

Et ass eng gemeinsam Programméierungssprooch, awer bewosst d'Fallen. Eng raisonnabel Léisung fir "allgemeng geléiert" muss och verschidden Aarte vu expressiver Kraaft hunn, déi wahrscheinlech méi Zäit brauche fir ze léieren.

Dem Don säin Interesse fir sougenannt "literate programméiere" huet zu der Schafung vun engem Auteur System (historesch WEB genannt) gefouert, deen dem Don erlaabt de ganze Programm ze erklären dee geschriwwe gouf, an dee vill Features enthält, déi Deeler vum Programm erlaabt hunn. extrahéiert fir mënschlech Studie. D'Iddi war datt e WEB Dokument e Programm war, an de Compiler konnt déi kompiléiert an ausführbar Deeler dervun extrahieren.

Eng aner fréi Innovatioun war d'Iddi vun dynamesche Medien, déi eng populär Iddi an de spéide 60er war, a fir vill vun eis war e wichtege Bestanddeel vun interaktiven PC Informatik. Ee vun e puer Motiver fir dës Iddi war eppes wéi "Newton d'Prinzipien" ze hunn an deem "Mathematik" dynamesch a konnt lafen a verbonne mat Grafiken, etc.. Dëst war Deel vun der Motivatioun der Dynabook Iddi ze förderen an 1968 Joer. Ee vun de Begrëffer, déi deemools ugefaang hunn ze benotzen, war "aktiven Ofhandlung", wou d'Aarte vu Schreiwen an Argumenter, déi een an engem Essay erwaart, verbessert ginn duerch den interaktiven Programm als ee vu ville Medientypen fir eng nei Zort Dokument.

E puer ganz gutt Beispiller goufen am Hypercard vum Ted Cuyler selwer am spéiden 80er an fréien 90er gemaach. Hypercard war net direkt fir dës konfiguréiert - Scripten waren net Medien Objete fir Kaarte, mee du kanns e puer Aarbecht maachen a kréien Scripten op Kaarten ze weisen an maachen se interaktiv. E besonnesch provokativt Beispill war "Weasel", dat war en aktiven Essay deen en Deel vum Richard Dawkins sengem Buch Blind Watchmaker erkläert huet, wat de Lieser erlaabt mat engem Kader ze experimentéieren deen eng Aart Zuchtprozess benotzt fir Zilsätz ze fannen.

Et ass derwäert ze berécksiichtegen datt wärend Hypercard e bal perfekt Fit fir den opkomende Internet war - a seng verbreet Adoptioun an de fréien 90er - d'Leit, déi den Internet erstallt hunn, gewielt hunn et net ze ëmfaassen oder dem Engelbart seng gréisser fréier Iddien. An Apple, déi vill ARPA/Parc Leit a sengem Fuerschungsflillek hat, huet refuséiert hinnen iwwer d'Wichtegkeet vum Internet ze lauschteren a wéi Hypercard super wier fir e symmetresche Lies-Schreifsystem unzefänken. Apple huet refuséiert e Browser ze maachen an enger Zäit wou e wierklech gudde Browser eng bedeitend Entwécklung gewiescht wier, a vläicht eng grouss Roll gespillt huet wéi dat "ëffentlecht Gesiicht" vum Internet war.

Wa mir e puer Joer no virukommen, entdecken mir déi absolut Absurditéit - bal obszön souguer - vun engem Webbrowser ouni richtegen Entwécklungssystem (denkt wéi domm Wiki Entwécklung iwwerhaapt fonctionnéiere sollt), an als ee vu ville einfache Beispiller, engem Wikipedia Artikel wéi LOGO , déi op engem Computer funktionnéiert, awer de Lieser vum Artikel net erlaabt de LOGO aus dem Artikel ze programméieren. Dëst bedeit datt dat wat fir Computeren wichteg war fir d'Benotzer blockéiert gouf fir verschidden Implementatioune vun alen Medien ze verteidegen.

Et ass derwäert ze bedenken datt Wikipedia de primäre Genre war an ass fir d'"Literature of Computing" ze denken, ze erfannen, ëmzesetzen an ze schreiwen déi néideg ass (an dëst beinhalt sécher souwuel Liesen a Schreiwen a ville Forme vu Multimedia, dorënner Programméiere).

Wat nach méi derwäert ass ze denken ass datt ech kee Programm hei an dëser Quora Äntwert ka schreiwen - am Joer 2017! - dëst wäert hëllefen ze weisen wat ech genau probéieren ze erklären, trotz der enormer Computerkraaft déi dës schwaach Iddi vun interaktiven Medien ënnersträicht. Déi wichteg Fro ass "Wat ass geschitt?" gëtt hei komplett iwwersinn.

Fir eng Iddi vum Problem ze kréien, hei ass en 1978 System dee mir deelweis virun e puer Joer als Hommage un den Ted Nelson an deelweis fir Spaass erëmbelieft hunn.

(Kuckt w.e.g. hei um 2:15)


De ganze System ass e fréie Versuch vun deem wat ech elo virun iwwer 40 Joer schwätzen.

E gudde Beispill kann um 9:06 gesi ginn.


Nieft "dynamesch Objeten" ass ee vun de wichtegsten Iwwerleeungen hei, datt "Views" - d'Medien déi op der Säit siichtbar sinn - eenheetlech an onofhängeg vun hirem Inhalt veraarbecht kënne ginn (mir nennen se "Modeller"). Alles ass eng "Fënster" (e puer hunn explizit Grenzen an e puer weisen hir Grenzen net). All vun hinnen sinn op der Projet Säit kompiléiert. En aneren Abléck war datt well Dir e puer Saache muss komponéieren a kombinéieren, gitt sécher datt alles komponéierbar a komposéiert ass.

Ech denken datt onophéiert Benotzer verginn kënne ginn fir net schlecht Designs ze kritiséieren. Mee Programméierer, déi interaktiv Medien fir d'Benotzer maachen, an déi et egal sinn iwwer Medien an Design ze léieren, virun allem aus der Geschicht vun hirem eegene Beräich, sollen net esou einfach dovunner ofkommen a sollen net dofir belount ginn. si sinn "méi schwaach".

Schlussendlech ass e Feld ouni richteg Literatur bal gläichwäerteg mat der Tatsaach datt d'Feld keen Feld ass. Literatur ass e Wee fir grouss Iddien an engem neie Genre ze erhaalen, an am aktuellen an zukünftege Denken an deem Beräich. Dëst ass natierlech net an de Berechnungen zu engem nëtzlechen Ausmooss präsent. Wéi d'Popkultur ass de Computer nach ëmmer am meeschten interesséiert fir wat ouni extensiv Training ka gemaach ginn, a wou d'Ausféierung méi wichteg ass wéi d'Konsequenze vun de Resultater. Literatur ass ee vun de Medie wou Dir vum einfachen an direkten op dat gréissert a méi wichtegt plënnere kënnt.

Mir brauchen et!

Iwwer GoTo School

Alan Kay a Marvin Minsky: Informatik huet schonn eng "Grammatik". Brauchen "Literatur"

Source: will.com

Setzt e Commentaire