Alan Kay u Marvin Minsky: Xjenza tal-Kompjuter diġà għandha "grammatika". Bżonn "letteratura"

Alan Kay u Marvin Minsky: Xjenza tal-Kompjuter diġà għandha "grammatika". Bżonn "letteratura"

L-ewwel mix-xellug huwa Marvin Minsky, it-tieni mix-xellug huwa Alan Kay, imbagħad John Perry Barlow u Gloria Minsky.

Mistoqsija: Kif tinterpreta l-idea ta’ Marvin Minsky li “Ix-Xjenza tal-Kompjuter diġà għandha grammatika. Dak li għandha bżonn hija l-letteratura.”?

Alan Kay: L-aktar aspett interessanti tar-reġistrazzjoni Il-blog ta' Ken (inklużi l-kummenti) hija li ebda referenza storika għal din l-idea ma tista’ tinstab imkien. Fil-fatt, aktar minn 50 sena ilu fis-snin 60 kien hemm ħafna diskors dwar dan u, kif niftakar, diversi artikli.

L-ewwel darba smajt dwar din l-idea mingħand Bob Barton, fl-1967 fl-iskola tal-gradwati, meta qalli li din l-idea kienet parti mill-motivazzjoni ta’ Donald Knuth meta kiteb The Art of Programming, li l-kapitoli tagħha kienu diġà qed jiċċirkolaw. Waħda mill-mistoqsijiet ewlenin ta 'Bob imbagħad kienet dwar "lingwi ta' programmar iddisinjati biex jinqraw mill-bnedmin kif ukoll mill-magni." U dik kienet il-motivazzjoni ewlenija għal partijiet tad-disinn COBOL fil-bidu tas-snin 60. U, forsi aktar importanti fil-kuntest tas-suġġett tagħna, din l-idea tidher fil-lingwa interattiva bikrija ħafna u ddisinjata pjuttost sabiħa JOSS (l-aktar Cliff Shaw).

Kif osserva Frank Smith, il-letteratura tibda b’ideat ta’ min jiddiskuti u jikteb; spiss jiġġenera parzjalment rappreżentazzjonijiet u jestendi lingwi u forom eżistenti; iwassal għal ideat ġodda dwar il-qari u l-kitba; u finalment għal ideat ġodda li ma kinux parti mill-motiv oriġinali.

Parti mill-idea ta '"literaturizzazzjoni" hija qari, kitba, u tirreferi għal artikoli oħra li jistgħu jkunu ta' interess. Pereżempju, it-taħdita tal-Premju Turing ta’ Marvin Minsky tibda b’: "Il-problema tax-Xjenza tal-Kompjuter illum hija t-tħassib ossessiv tal-forma aktar milli tal-kontenut.".

Dak li fisser kien li l-iktar ħaġa importanti fl-informatika hija t-tifsira u kif tista’ titqies u tiġi rappreżentata, għall-kuntrarju ta’ waħda mit-temi kbar tas-snin 60 dwar kif tiġi analizzata l-programmazzjoni u l-lingwi naturali. Għalih, l-aktar ħaġa interessanti dwar it-teżi tal-istudent tal-Master Terry Winograd tista’ tkun li filwaqt li ma tantx kienet korretta f’termini ta’ grammatika Ingliża (kienet tajba ħafna), iżda li setgħet tagħmel sens ta’ dak li ntqal u setgħet tiġġustifika dak li kien qal bl-użu ta 'dan il-valur. (Din hija throwback għal dak li jirrapporta Ken fuq il-blog ta’ Marvin).

Mod parallel kif wieħed iħares lejn “tagħlim tal-lingwa kullimkien.” Jista 'jsir ħafna mingħajr ma tinbidel il-lingwa jew saħansitra żżid dizzjunarju. Dan huwa simili għal kif b'simboli u sintassi matematiċi huwa faċli ħafna li tikteb formula. Dan huwa parzjalment dak li qed jasal Marvin. Huwa umoristiku li l-magna Turing fil-ktieb ta’ Marvin Computation: Finite and Infinite Machines (wieħed mill-kotba favoriti tiegħi) hija kompjuter pjuttost tipiku b’żewġ istruzzjonijiet (żid 1 għar-reġistru u naqqas 1 mir-reġistru u mill-fergħat għal struzzjoni ġdida jekk ir-reġistru huwa inqas minn 0 - hemm ħafna għażliet.)

Hija lingwa ta 'programmar komuni, imma kun konxju mill-iżvantaġġi. Soluzzjoni raġonevoli għal "mgħallma universalment" ikollha wkoll ċerti tipi ta 'qawwa espressiva li x'aktarx teħtieġ aktar ħin biex titgħallem.

L-interess ta’ Don fl-hekk imsejjaħ “programmazzjoni litterata” wassal għall-ħolqien ta’ sistema ta’ awtorjar (storikament imsejħa WEB) li kienet tippermetti lil Don jispjega l-programm stess li kien qed jinkiteb, u li kien jinkludi ħafna karatteristiċi li ppermettew li partijiet mill-programm jiġu miktuba. estratt għall-istudju tal-bniedem. L-idea kienet li dokument WEB kien programm, u l-kompilatur jista 'jiġbed il-partijiet ikkompilati u eżekutibbli minnu.

Innovazzjoni oħra bikrija kienet l-idea ta 'midja dinamika, li kienet idea popolari fl-aħħar tas-snin 60, u għal ħafna minna kienet parti importanti mill-kompjuters interattiv tal-kompjuter. Waħda minn bosta motivi għal din l-idea kienet li jkun hemm xi ħaġa bħal "Prinċipji ta 'Newton" li fiha "matematika" kienet dinamika u tista' titmexxa u marbuta mal-grafika, eċċ Dan kien parti mill-motiv biex tippromwovi l-idea Dynabook fl-1968 sena. Wieħed mit-termini li beda jintuża dakinhar kien "essay attiv", fejn it-tipi ta 'kitba u argument li wieħed jistenna f'essay huma msaħħa billi l-programm interattiv ikun wieħed minn ħafna tipi ta' midja għal tip ġdid ta 'dokument.

Xi eżempji tajbin ħafna saru f'Hypercard minn Ted Cuyler innifsu fl-aħħar tas-snin 80 u l-bidu tas-snin 90. Hypercard ma kienx ikkonfigurat direttament għal dan - l-iskripts ma kinux oġġetti tal-midja għall-karti, iżda tista 'tagħmel xi xogħol u tikseb skripts biex turi fuq il-karti u tagħmilhom interattivi. Eżempju partikolarment provokattiv kien “Weasel”, li kien esej attiv li jispjega parti mill-ktieb Blind Watchmaker ta’ Richard Dawkins, li jippermetti lill-qarrej jesperimenta b’qafas li juża tip ta’ proċess ta’ tnissil biex isib sentenzi fil-mira.

Ta’ min wieħed jikkunsidra li filwaqt li l-Hypercard kienet kważi perfettament għall-Internet emerġenti—u l-adozzjoni mifruxa tiegħu fil-bidu tas-snin 90—in-nies li ħolqu l-Internet għażlu li ma jħaddnux jew l-ideat akbar ta’ qabel ta’ Engelbart. U Apple, li kellha ħafna nies ARPA/Parc fil-ġwienaħ tar-riċerka tagħha, irrifjutat li tismagħhom dwar l-importanza tal-Internet u kif Hypercard tkun kbira biex tibda sistema simmetrika ta 'qari u kitba. Apple irrifjutat li tagħmel browser fi żmien meta browser tassew tajjeb kien ikun żvilupp sinifikanti, u seta’ kellu rwol kbir f’kif il-“wiċċ pubbliku” tal-Internet irriżulta li kien.

Jekk nimxu 'l quddiem għal ftit snin niskopru l-assurdità assoluta - kważi oxxen anke - ta' web browser mingħajr sistema ta 'żvilupp reali (aħseb kemm suppost l-iżvilupp tal-wiki stupidu kien saħansitra jaħdem), u bħala wieħed minn ħafna eżempji sempliċi, artiklu tal-Wikipedija bħal LOGO , li jaħdem fuq kompjuter, iżda ma jippermettix lill-qarrej tal-artiklu jipprova jipprogramma LOGO mill-artiklu. Dan fisser li dak li kien importanti għall-kompjuters kien imblukkat għall-utenti fid-difiża ta 'implimentazzjonijiet differenti ta' midja antika.

Ta’ min wieħed jikkunsidra li l-Wikipedija kienet u hija l-ġeneru primarju għall-ħsieb, l-invenzjoni, l-implimentazzjoni u l-kitba tal-“letteratura tal-kompjuters” li hija meħtieġa (u dan ċertament jinvolvi kemm qari kif ukoll kitba f’ħafna forom ta’ multimedja, inkluż l-ipprogrammar).

Li ta’ min jaħseb iktar hu li ma nistax nikteb programm hawn f’din it-tweġiba ta’ Quora – fl-2017! - dan se jgħin biex nuri x'qed nipprova nispjega eżattament, minkejja s-saħħa enormi tal-kompjuter sottostanti din l-idea dgħajfa ta' midja interattiva. Il-mistoqsija importanti hija "x'ġara?" huwa kompletament injorat hawn.

Biex tieħu idea tal-problema, hawn sistema tal-1978 li rxoxtna parzjalment ftit snin ilu bħala ġieħ lil Ted Nelson u parzjalment għall-gost.

(Jekk jogħġbok ara hawn fit-2:15)


Is-sistema kollha hija tentattiv bikri għal dak li qed nitkellem dwaru aktar minn 40 sena ilu.

Eżempju ewlieni jistaʼ jidher fid-9:06.


Apparti minn "oġġetti dinamiċi", waħda mill-kunsiderazzjonijiet ewlenin hawnhekk hija li "veduti" - il-midja li hija viżibbli fuq il-paġna - jistgħu jiġu pproċessati b'mod uniformi u indipendenti mill-kontenut tagħhom (aħna nsejħulhom "mudelli"). Kollox huwa "tieqa" (uħud għandhom fruntieri espliċiti u xi wħud ma jurux il-fruntieri tagħhom). Kollha kemm huma miġbura fuq il-paġna tal-proġett. Ħarsa oħra kienet li peress li trid tikkomponi u tgħaqqad xi affarijiet, kun żgur li kollox ikun kompostabbli u ta’ kompożizzjoni.

Naħseb li utenti mhux sofistikati jistgħu jiġu maħfura talli ma jistgħux jikkritikaw disinji ħżiena. Iżda l-programmaturi li jagħmlu midja interattiva għall-utenti, u li ma jimpurtahomx jitgħallmu dwar il-midja u d-disinn, speċjalment mill-istorja tal-qasam tagħhom stess, m'għandhomx jitbiegħdu daqshekk faċilment u m'għandhomx jiġu ppremjati talli jagħmlu dan. huma "aktar dgħajfa".

Fl-aħħarnett, qasam mingħajr letteratura reali huwa kważi ekwivalenti għall-fatt li l-qasam mhuwiex għalqa. Il-letteratura hija mod kif tippreserva ideat kbar f’ġeneru ġdid, u fil-ħsieb preżenti u futur f’dak il-qasam. Dan, ovvjament, mhuwiex preżenti fil-kalkoli sa kwalunkwe punt utli. Bħall-kultura pop, l-informatika għadha l-aktar interessata f'dak li jista' jsir mingħajr taħriġ estensiv, u fejn l-eżekuzzjoni hija aktar importanti mill-konsegwenzi tar-riżultati. Il-letteratura hija waħda mill-mezzi fejn tista’ timxi minn dak sempliċi u immedjat għall-akbar u aktar importanti.

Għandna bżonnha!

Dwar l-Iskola GoTo

Alan Kay u Marvin Minsky: Xjenza tal-Kompjuter diġà għandha "grammatika". Bżonn "letteratura"

Sors: www.habr.com

Żid kumment