Alan Kay ak Marvin Minsky: Syans enfòmatik deja gen yon "gramè". Bezwen "literati"

Alan Kay ak Marvin Minsky: Syans enfòmatik deja gen yon "gramè". Bezwen "literati"

Premye a goch se Marvin Minsky, dezyèm a goch se Alan Kay, apresa John Perry Barlow ak Gloria Minsky.

Kesyon: Ki jan ou ta entèprete lide Marvin Minsky ke “Syans enfòmatik deja gen yon gramè. Sa li bezwen se literati.”?

Alan Kay: Aspè ki pi enteresan nan anrejistreman an Blog Ken an (ki gen ladan kòmantè) se ke pa gen okenn referans istorik nan lide sa a ka jwenn nenpòt kote. An reyalite, plis pase 50 ane de sa nan ane 60 yo te gen anpil pale sou sa a ak, jan mwen sonje, plizyè atik.

Mwen te tande ide sa a pou premye fwa nan men Bob Barton, an 1967 nan lekòl gradye, lè li te di m ke lide sa a te fè pati motivasyon Donald Knuth lè li te ekri The Art of Programming, chapit nan ki te deja sikile. Lè sa a, youn nan kesyon prensipal Bob yo te sou "langaj pwogram ki fèt pou moun li yo ak machin yo." Epi se te motivasyon prensipal la pou pati nan konsepsyon COBOL nan kòmansman ane 60 yo. Epi, petèt sa ki pi enpòtan nan yon kontèks sijè nou an, yo wè lide sa a nan lang entèaktif trè byen bonè e byen bèl JOSS (sitou Cliff Shaw).

Jan Frank Smith te obsève, literati kòmanse ak lide ki merite diskite ak ekri; li souvan pasyèlman jenere reprezantasyon ak pwolonje lang ak fòm ki egziste deja; li mennen nan nouvo lide sou lekti ak ekri; epi finalman nan nouvo lide ki pa fè pati motif orijinal la.

Yon pati nan lide "literatize" se li, ekri, epi refere li a lòt atik ki ka enterese. Pou egzanp, konferans pou prim Turing Marvin Minsky a kòmanse ak: "Pwoblèm nan Syans enfòmatik jodi a se enkyetid la obsession ak fòm olye ke kontni.".

Ki sa li te vle di se ke bagay ki pi enpòtan nan informatique se siyifikasyon an ak fason li ka wè ak reprezante, kòm opoze a youn nan gwo tèm nan ane 60 yo sou fason yo analize pwogramasyon ak lang natirèl. Pou li, bagay ki pi enteresan sou tèz etidyan Mèt Terry Winograd a ta ka ke pandan ke li pa t 'trè kòrèk an tèm de gramè angle (li te trè bon), men ke li te kapab fè sans nan sa ki te di epi li ka jistifye sa ki te di. te di lè l sèvi avèk valè sa a. (Sa a se yon throwback nan sa Ken rapòte sou blog Marvin a).

Yon fason paralèl gade nan "aprantisaj lang omniprésente". Yo ka fè anpil bagay san yo pa chanje lang oswa menm ajoute yon diksyonè. Sa a se menm jan ak ki jan ak senbòl matematik ak sentaks li trè fasil yo ekri yon fòmil. Sa a se an pati sa Marvin ap jwenn nan. Li komik ke machin nan Turing nan liv Marvin a Computation: Finite and Infinite Machines (youn nan liv pi renmen m yo) se yon òdinatè san patipri tipik ak de enstriksyon (ajoute 1 nan enskri epi soustraksyon 1 nan rejis ak branch nan nouvo enstriksyon si enskri se mwens pase. 0 - gen anpil opsyon.)

Li se yon langaj pwogramasyon komen, men ou dwe okouran de enkonvenyans yo. Yon solisyon rezonab pou "inivèsèl aprann" ta gen tou gen sèten kalite pouvwa ekspresyon ki ta gen anpil chans mande plis tan pou aprann.

Enterè Don nan sa yo rele "programmation alfabetize" te mennen nan kreyasyon yon sistèm otè (istorikman yo rele WEB) ki ta pèmèt Don eksplike pwogram nan menm ke yo te ekri a, epi ki te gen ladann anpil karakteristik ki te pèmèt pati nan pwogram nan. ekstrè pou etid imen. Lide a te ke yon dokiman WEB se te yon pwogram, ak du a te kapab ekstrè pati yo konpile ak ègzèkutabl soti nan li.

Yon lòt inovasyon bonè se te lide nan medya dinamik, ki te yon lide popilè nan fen ane 60 yo, ak pou anpil nan nou te yon pati enpòtan nan òdinatè entèaktif PC. Youn nan plizyè rezon pou lide sa a se te gen yon bagay tankou "Newton's Prensip" nan ki "matematik" te dinamik epi yo ka kouri ak mare nan grafik, elatriye Sa a te yon pati nan motif nan ankouraje lide nan Dynabook nan 1968 ane. Youn nan tèm yo ki te kòmanse itilize lè sa a se te "redaksyon aktif," kote kalite ekriti ak agiman yon moun ta atann nan yon redaksyon yo ogmante pa pwogram entèaktif la se youn nan plizyè kalite medya pou yon nouvo kalite dokiman.

Gen kèk egzanp trè bon te fè nan Hypercard pa Ted Cuyler tèt li nan fen ane 80 yo ak kòmansman ane 90 yo. Hypercard pa t 'dirèkteman configuré pou sa a - scripts pa t 'medya objè pou kat, men ou ta ka fè kèk travay epi jwenn scripts yo montre sou kat epi fè yo entèaktif. Yon egzanp patikilyèman pwovokan se te "Weasel", ki te yon redaksyon aktif ki eksplike yon pati nan liv Blind Watchmaker Richard Dawkins, ki pèmèt lektè a fè eksperyans ak yon kad ki itilize yon kalite pwosesis elvaj pou jwenn fraz sib.

Li vo konsidere ke pandan Hypercard te yon anfòm prèske pafè pou émergentes entènèt la—ak adopsyon toupatou li nan kòmansman ane 90 yo—moun ki te kreye entènèt la te chwazi pa anbrase li oswa pi gwo lide pi bonè Engelbart. Ak Apple, ki te gen anpil moun ARPA/Parc nan zèl rechèch li yo, te refize koute yo sou enpòtans entènèt la ak ki jan Hypercard ta bon nan kòmanse yon sistèm simetrik lekti-ekri. Apple te refize fè yon navigatè nan yon moman kote yon navigatè vrèman bon ta gen yon devlopman enpòtan, e li ka te jwe yon gwo wòl nan ki jan "fas piblik la" nan entènèt la te tounen soti yo dwe.

Si nou avanse pou kèk ane nou dekouvri absoli absoli - prèske obsèn menm - nan yon navigatè entènèt ki pa gen okenn sistèm devlopman reyèl (panse ki jan estipid devlopman wiki te sipoze travay menm), ak kòm youn nan anpil egzanp senp, yon atik Wikipedia. tankou LOGO , ki travay sou yon òdinatè, men li pa pèmèt lektè a nan atik la eseye pwograme LOGO nan atik la. Sa vle di ke sa ki te enpòtan nan òdinatè yo te bloke itilizatè yo nan defans nan aplikasyon diferan nan medya fin vye granmoun.

Li vo konsidere ke Wikipedya te e se genre prensipal pou panse, envante, aplike, ak ekri "literati nan enfòmatik" ki nesesè (e sa sètènman enplike tou de lekti ak ekri nan plizyè fòm miltimedya, ki gen ladan pwogramasyon).

Ki sa ki menm plis vo reflechi sou se ke mwen pa ka ekri yon pwogram isit la nan repons Quora sa a - nan 2017! - sa pral ede montre ki sa egzakteman m ap eseye eksplike, malgre gwo pouvwa òdinatè a ki kache lide fèb sa a nan medya entèaktif. Kesyon enpòtan an se "sa ki te pase?" se konplètman neglije isit la.

Pou jwenn yon lide sou pwoblèm nan, isit la se yon sistèm 1978 ke nou te resisite an pati kèk ane de sa kòm yon peye lajan taks bay Ted Nelson ak an pati pou plezi.

(Tanpri gade isit la a 2:15)


Tout sistèm nan se yon tantativ bonè nan sa m ap pale kounye a sou plis pase 40 ane de sa.

Yon premye egzanp ka wè nan 9:06.


Apa de "objè dinamik", youn nan konsiderasyon kle yo isit la se ke "views" - medya yo ki vizib sou paj la - ka trete yon fason inifòm ak endepandan de kontni yo (nou rele yo "modèl"). Tout se yon "fenèt" (gen kèk ki gen fwontyè klè ak kèk pa montre fwontyè yo). Yo tout yo konpile sou paj pwojè a. Yon lòt insight te ke depi ou gen konpoze ak konbine kèk bagay, asire w ke tout bagay se composable ak konpozisyon.

Mwen panse ke itilizatè ki pa sofistike yo ka jwenn padon pou yo pa kapab kritike move desen. Men, pwogramasyon ki fè medya entèaktif pou itilizatè yo, epi ki pa pran swen yo aprann sou medya ak konsepsyon, espesyalman nan istwa a nan pwòp domèn yo, pa ta dwe jwenn lwen ak li fasil konsa epi yo pa ta dwe rekonpans pou fè sa. yo "pi fèb".

Finalman, yon domèn san literati reyèl prèske ekivalan a lefèt ke jaden an se pa yon jaden. Literati se yon fason pou prezève gwo lide nan yon nouvo genre, ak nan panse prezan ak pwochen nan domèn sa a. Sa a, nan kou, se pa prezan nan kalkil yo nan nenpòt limit itil. Menm jan ak kilti pòp, informatique toujou pi enterese nan sa ki ka fè san fòmasyon vaste, ak kote ekzekisyon pi enpòtan pase konsekans rezilta yo. Literati se youn nan mwayen kote ou ka deplase soti nan senp ak imedya a nan pi gwo ak pi enpòtan.

Nou bezwen li!

Konsènan GoTo School

Alan Kay ak Marvin Minsky: Syans enfòmatik deja gen yon "gramè". Bezwen "literati"

Sous: www.habr.com

Add nouvo kòmantè