Alan Kay og Marvin Minsky: Datalogi har allerede en "grammatik". Har brug for "litteratur"

Alan Kay og Marvin Minsky: Datalogi har allerede en "grammatik". Har brug for "litteratur"

Først fra venstre er Marvin Minsky, anden fra venstre er Alan Kay, derefter John Perry Barlow og Gloria Minsky.

Spørgsmål: Hvordan vil du fortolke Marvin Minskys idé om, at "Computer Science allerede har en grammatik. Det hun har brug for er litteratur.”?

Alan Kay: Det mest interessante aspekt af optagelsen Kens blog (inklusive kommentarer) er, at ingen historisk reference til denne idé kan findes nogen steder. Faktisk blev der for over 50 år siden i 60'erne talt meget om dette og, som jeg husker, flere artikler.

Jeg hørte første gang om denne idé fra Bob Barton, i 1967 på kandidatskolen, da han fortalte mig, at denne idé var en del af Donald Knuths motivation, da han skrev The Art of Programming, hvoraf kapitler allerede cirkulerede. Et af Bobs hovedspørgsmål handlede dengang om "programmeringssprog designet til at blive læst af mennesker såvel som af maskiner." Og det var hovedmotivationen for dele af COBOL-design i begyndelsen af ​​60'erne. Og, måske endnu vigtigere i forbindelse med vores emne, er denne idé set i det meget tidlige og ganske smukt designede interaktive sprog JOSS (for det meste Cliff Shaw).

Som Frank Smith bemærkede, begynder litteraturen med ideer, der er værd at diskutere og skrive ned; det genererer ofte delvist repræsentationer og udvider eksisterende sprog og former; det fører til nye ideer om læsning og skrivning; og endelig til nye ideer, der ikke var en del af det oprindelige motiv.

En del af ideen om "litteraturdannelse" er at læse, skrive og henvise til andre artikler, der kan være af interesse. For eksempel begynder Marvin Minskys Turing Award-foredrag med: "Problemet med datalogi i dag er den tvangsmæssige bekymring med form snarere end indhold.".

Det, han mente, var, at det vigtigste i computing er meningen og hvordan det kan ses og repræsenteres, i modsætning til et af 60'ernes store temaer om, hvordan man analyserer programmering og naturlige sprog. For ham er det mest interessante ved kandidatstuderende Terry Winograds speciale måske, at selvom den ikke var særlig korrekt i forhold til engelsk grammatik (den var meget god), men at den kunne give mening i det, der blev sagt, og kunne retfærdiggøre det, der var. sagt ved hjælp af denne værdi. (Dette er en tilbagevenden til, hvad Ken rapporterer på Marvins blog).

En parallel måde at se på "allestedsnærværende sprogindlæring." Meget kan gøres uden at ændre sproget eller endda tilføje en ordbog. Dette svarer til, hvordan det med matematiske symboler og syntaks er meget nemt at skrive en formel. Det er til dels det, Marvin søger. Det er sjovt, at Turing-maskinen i Marvins bog Computation: Finite and Infinite Machines (en af ​​mine yndlingsbøger) er en ret typisk computer med to instruktioner (tilføj 1 for at registrere og trække 1 fra register og forgrene til ny instruktion, hvis register er mindre end 0 - der er mange muligheder.)

Det er et almindeligt programmeringssprog, men vær opmærksom på faldgruberne. En rimelig løsning på "universelt lært" ville også skulle have visse former for udtrykskraft, som sandsynligvis ville kræve mere tid at lære.

Dons interesse for såkaldt "litterate programmering" førte til oprettelsen af ​​et forfattersystem (historisk kaldet WEB), som ville give Don mulighed for at forklare selve det program, der blev skrevet, og som indeholdt mange funktioner, der gjorde det muligt for dele af programmet at blive skrevet. udvundet til menneskelig undersøgelse. Tanken var, at et WEB-dokument var et program, og compileren kunne udtrække de kompilerede og eksekverbare dele fra det.

En anden tidlig innovation var ideen om dynamiske medier, som var en populær idé i slutningen af ​​60'erne, og for mange af os var en vigtig del af interaktiv pc-computing. Et af flere motiver for denne idé var at have noget som "Newtons principper", hvor "matematik" var dynamisk og kunne køres og bindes til grafik osv. Dette var en del af motivet til at fremme Dynabook-ideen i 1968 år. Et af de udtryk, der begyndte at blive brugt dengang, var "aktivt essay", hvor den form for skrivning og argumentation, man ville forvente i et essay, forstærkes af, at det interaktive program er en af ​​mange typer medier til en ny type dokumenter.

Nogle meget gode eksempler blev lavet i Hypercard af Ted Cuyler selv i slutningen af ​​80'erne og begyndelsen af ​​90'erne. Hypercard var ikke direkte konfigureret til dette - scripts var ikke medieobjekter til kort, men du kunne gøre noget arbejde og få scripts til at blive vist på kort og gøre dem interaktive. Et særligt provokerende eksempel var "Weasel", som var et aktivt essay, der forklarede en del af Richard Dawkins' bog Blind Watchmaker, som tillod læseren at eksperimentere med en ramme, der brugte en slags avlsproces til at finde målsætninger.

Det er værd at overveje, at selvom Hypercard var en næsten perfekt pasform til det nye internet - og dets udbredte adoption i de tidlige 90'ere - valgte de mennesker, der skabte internettet, ikke at omfavne det eller Engelbarts større tidligere ideer. Og Apple, som havde mange ARPA/Parc-folk i sin research-fløj, nægtede at lytte til dem om vigtigheden af ​​internettet, og hvordan Hypercard ville være fantastisk til at starte et symmetrisk læse-skrive-system. Apple nægtede at lave en browser på et tidspunkt, hvor en virkelig god browser ville have været en væsentlig udvikling, og kan have spillet en stor rolle i, hvordan internettets "offentlige ansigt" viste sig at være.

Hvis vi bevæger os et par år frem, opdager vi den absolutte absurditet - næsten uanstændig endda - i en webbrowser uden noget egentligt udviklingssystem (tænk hvor dum wiki-udvikling overhovedet skulle virke), og som et af mange simple eksempler, en Wikipedia-artikel som LOGO , der virker på en computer, men ikke tillader læseren af ​​artiklen at prøve at programmere LOGO fra artiklen. Det betød, at det, der var vigtigt for computere, blev blokeret for brugerne til forsvar for forskellige implementeringer af gamle medier.

Det er værd at overveje, at Wikipedia har været og er den primære genre til at tænke, opfinde, implementere og skrive den "databehandlingslitteratur", der er nødvendig (og dette involverer bestemt både læsning og skrivning i mange former for multimedier, inklusive programmering).

Hvad der er endnu mere værd at tænke over er, at jeg ikke kan skrive et program her i dette Quora-svar – i 2017! - dette vil hjælpe med at vise, hvad jeg præcist forsøger at forklare, på trods af den enorme computerkraft, der ligger til grund for denne svage idé om interaktive medier. Det vigtige spørgsmål er "hvad skete der?" er fuldstændig overset her.

For at få en idé om problemet, er her et system fra 1978, som vi genoplivede dels for et par år siden som en hyldest til Ted Nelson og dels for sjov.

(Se venligst her kl. 2:15)


Hele systemet er et tidligt forsøg på det, jeg nu taler om for over 40 år siden.

Et godt eksempel kan ses klokken 9:06.


Udover "dynamiske objekter" er en af ​​de centrale overvejelser her, at "views" - de medier, der er synlige på siden - kan behandles ensartet og uafhængigt af deres indhold (vi kalder dem "modeller"). Alt er et "vindue" (nogle har eksplicitte grænser, og nogle viser ikke deres grænser). Alle er samlet på projektsiden. En anden indsigt var, at da man skal komponere og kombinere nogle ting, så sørg for at alt er komponerbart og kompositorisk.

Jeg tror, ​​at usofistikerede brugere kan blive tilgivet for ikke at kunne kritisere dårlige designs. Men programmører, der laver interaktive medier til brugere, og som er ligeglade med at lære om medier og design, især fra deres eget felts historie, bør ikke slippe så let afsted med det og bør ikke belønnes for at gøre det. de er "svagere".

Endelig svarer et felt uden egentlig litteratur næsten til, at feltet ikke er et felt. Litteratur er en måde at bevare gode ideer i en ny genre og i nutidens og fremtidens tænkning på det felt. Dette er naturligvis ikke til stede i beregningerne i noget brugbart omfang. Ligesom popkulturen er computing stadig mest interesseret i, hvad der kan lade sig gøre uden omfattende træning, og hvor udførelse er vigtigere end konsekvenserne af resultaterne. Litteratur er et af de medier, hvor man kan bevæge sig fra det enkle og umiddelbare til det større og vigtigere.

Vi har brug for det!

Om GoTo School

Alan Kay og Marvin Minsky: Datalogi har allerede en "grammatik". Har brug for "litteratur"

Kilde: www.habr.com

Tilføj en kommentar