Алан Кей і Марвін Менскі: Computer Science ужо мае «граматыку». Патрэбна «літаратура»

Алан Кей і Марвін Менскі: Computer Science ужо мае «граматыку». Патрэбна «літаратура»

Першы злева - Марвін Мінска, другі злева - Алан Кей, потым Джон Пэры Барлоў і Глорыя Мінску.

Пытанне: Як бы вы інтэрпрэтавалі ідэю Марвіна Менска аб тым, што «Computer Science ужо мае граматыку. Што ёй трэба дык гэта літаратура.»?

Алан Кей: Самы цікавы аспект запісу блога Кена (уключаючы каментары) заключаецца ў тым, што нідзе нельга знайсці гістарычную згадку гэтай ідэі. Фактычна, больш за 50 гадоў таму ў 60-х гадах з гэтай нагоды было шмат размоваў і, наколькі я памятаю, некалькі артыкулаў.

Я ўпершыню пачуў пра гэтую ідэю ад Боба Бартана, у 1967 годзе ў магістратуры, тады ён сказаў мне, што гэтая ідэя была часткай матывацыі Дональда Кнута, калі ён пісаў “Мастацтва праграмавання”, кіраўнікі якога ўжо хадзілі па руках. Адно з галоўных пытанняў Боба тады было пра "мовы праграмавання, прызначаных для чытання людзьмі таксама як і машынамі". І гэта было асноўнай матывацыяй для частак дызайну COBOL у пачатку 60-х гадоў. І, магчыма, што важнейшае ў кантэксце нашай тэмы, гэтая ідэя бачная ў вельмі ранняй і даволі хораша распрацаванай інтэрактыўнай мове JOSS (у асноўным Cliff Shaw).

Як заўважыў Фрэнк Сміт, літаратура пачынаецца з ідэй, якія варта абмяркоўваць і запісваць; яна часта часткова генеруе ўяўленні і пашырае існуючыя мовы і формы; гэта прыводзіць да новых ідэй аб чытанні і пісьме; і, нарэшце, да новых ідэй, якія не былі часткай першапачатковага матыву.

Частка ідэі "алітаратурызацыі" гэта і чытанне, і ліст, і дасылкі на іншыя артыкулы, якія могуць уяўляць цікавасць. Напрыклад, лекцыя Марвіна Мінску на прэміі Цьюрынга пачынаецца з таго, што "Праблема з Computer Science сёння складаецца ў дакучлівым клопаце аб форме, а не аб змесце".

Ён меў на ўвазе, што самае важнае ў вылічэннях гэта сэнс, і тое, як яго можна разглядаць і ўяўляць, у адрозненні ад адной з вялікіх тэм 60-х гадоў аб тым як аналізаваць праграмаванне і натуральныя мовы. Для яго найбольш цікавым у тэзе студэнта магістратуры Тэры Вінаграда магло быць тое, што ў той жа час было не вельмі дакладным з пункту гледжання граматыкі англійскай мовы (гэта было вельмі добра), але што гэта магло б надаць сэнс сказанаму і магло абгрунтаваць сказанае з выкарыстаннем гэтага значэння. (Гэта водгалас мінулага ад таго, што паведамляе Кен у блогу Марвіна).

Паралельны спосаб зірнуць на «ўсюды вывучаемую мову». Нямала можа быць зроблена без змен у мове і нават без дадання слоўніка. Гэта падобна таму як з матэматычнымі знакамі і сінтаксісам вельмі лёгка напісаць формулу. Гэта збольшага тое да чаго вядзе Марвін. Пацешна, што машына Цьюрынга ў кнізе Марвіна "Вылічэнне: канчатковыя і бясконцыя машыны" (адна з маіх любімых кніг) - даволі тыповы кампутар з двума інструкцыямі (дадайце 1 да рэгістра і адніміце 1 з рэгістра і галіны да новай інструкцыі, калі рэгістр менш 0 - існуе шмат варыянтаў.)

Гэта агульнапрынятая мова праграмавання, але звернеце ўвагу на падводныя камяні. Разумнае рашэнне «паўсюдна вывучаемага» таксама павінна валодаць пэўнымі відамі выразнай сілы, якія, верагодна, запатрабуюць больш часу для вывучэння.

Цікавасць Дона да так званага «пісьменнага праграмавання» прывяла да стварэння аўтарскай сістэмы (гістарычна званай WEB), якая дазволіла б Дону растлумачыць саму праграму, якая пісалася, і якая ўключала шматлікія функцыі, якія дазваляюць здабываць часткі праграмы для вывучэння чалавека. Ідэя заключалася ў тым, што WEB-дакумент быў праграмай, і кампілятар мог атрымаць з яго кампіляваныя і выкананыя часткі.

Яшчэ адна ранняя навіна - ідэя дынамічных медыя, якая была папулярнай ідэяй у канцы 60-х гадоў, і для многіх з нас была важнай часткай інтэрактыўных вылічэнняў на ПЭВМ. Адзін з некалькіх матываў гэтай ідэі заключаўся ў тым, каб мець нешта накшталт "Прынцыпаў Ньютана", у якіх "матэматыка" была дынамічнай і магла быць запушчана і прывязана да графікі і г. д. Гэта было часткай матыву прасоўваць ідэю Dynabook у 1968 годзе. Адным з тэрмінаў, які пачаў выкарыстоўвацца тады, было "актыўнае эсэ", дзе віды выкладу і аргумента, якія можна чакаць у эсэ, узмацняюцца дзякуючы таму, што інтэрактыўная праграма з'яўляецца адным са шматлікіх тыпаў медыя для новага тыпу дакумента.

Некаторыя вельмі добрыя прыклады былі зроблены ў Hypercard самім Тэдам Кайлерам у канцы 80-х і пачатку 90-х гадоў. Hypercard не быў наўпрост настроены для гэтага - скрыпты не былі аб'ектамі мультымедыя для карт, але вы маглі выканаць некаторую працу і атрымаць скрыпты для паказу на картах, а таксама зрабіць іх інтэрактыўнымі. Асабліва правакацыйным прыкладам быў "Weasel", які быў актыўным эсэ, які тлумачыць частку кнігі Рычарда Даўкінза "Blind Watchmaker", дазваляючы чытачу паэксперыментаваць з фрэймворкам, які выкарыстоўваў свайго роду працэс размнажэння для пошуку мэтавых прапаноў.

Варта задумацца над тым, што, нягледзячы на ​​тое, што Hypercard амаль ідэальна падыходзіў да які з'явіўся Інтэрнэту - і яго шырокаму ўкараненню ў пачатку 90-х гадоў - людзі, якія стваралі Інтэрнэт, вырашылі не прымаць ні яго, ні буйнейшыя раннія ідэі Энгельбарта. І Apple, у якой было шмат людзей ARPA/Parc у сваім даследчым крыле, адмовіліся слухаць іх аб важнасці Інтэрнэту і аб тым, што Hypercard выдатна пачне выкарыстоўваць сіметрычную сістэму чытання і запісы. Apple адмовіліся зрабіць браўзэр у той час, калі сапраўды добры браўзэр быў бы значнай падзеяй, і, магчыма, згуляў бы велізарную ролю ў тым, якім апынулася «публічная асоба» Інтэрнэту.

Калі мы прасунемся на некалькі гадоў, мы выявім абсалютную абсурднасць – нават амаль непрыстойнасць – вэб-браўзэр без рэальнай сістэмы распрацоўкі (падумайце, як дурная вікі распрацоўка павінна была наогул працаваць), і як адзін з шматлікіх простых прыкладаў, артыкул у Вікіпедыі, напрыклад LOGO , якая працуе на кампутары, але не якая дазваляе чытачу артыкула паспрабаваць праграмаваць LOGO з артыкула. Гэта азначала, што тое, што было важна для кампутараў, было заблакавана для карыстальнікаў у абарону розных варыянтаў рэалізацыі старых медыяў.

Варта задумацца над тым, што Вікіпедыя была і з'яўляецца асноўным жанрам для разважанняў, вынаходніцтва, укаранення і напісання "літаратуры вылічэнняў", якая неабходна (і гэта, безумоўна, звязана як з чытаннем, так і з напісаннем многіх відаў мультымедыя, уключаючы праграмаванне).

Яшчэ больш варта падумаць аб тым, што я не магу напісаць праграму тут, у гэтым адказе на Quora - у 2017 годзе! - Гэта дапаможа паказаць, што менавіта я спрабую растлумачыць, нягледзячы на ​​велізарную кампутарную моц, якая ляжыць у аснове гэтай слабой ідэі інтэрактыўных медыя. Важнае пытанне "што здарылася?" тут зусім прапускае з-пад увагі.

Каб атрымаць уяўленне аб праблеме, вось вам сістэма 1978 года, якую мы часткова ўваскрэсілі некалькі гадоў таму, каб аддаць даніну Тэду Нэльсану, а збольшага дзеля задавальнення.

(Калі ласка, зірніце тут, у 2:15)


Уся сістэма з'яўляецца ранняй спробай рэалізацыі таго, пра што я зараз кажу больш за 40 гадоў таму.

Яскравы прыклад можна ўбачыць у 9:06.


Апроч «дынамічных аб'ектаў», адно з ключавых меркаванняў тут складаецца ў тым, што «выгляды» - медыя, якія бачныя на старонцы, - могуць апрацоўвацца раўнамерна і незалежна ад іх змесціва (мы завем іх «мадэлямі»). Усё гэта "акно" (некаторыя з іх маюць відавочныя рамкі, а некаторыя не адлюстроўваюць свае рамкі). Усе яны складзены на старонцы праекту. Яшчэ адно разуменне складалася ў тым, што, паколькі вы павінны складаць і камбінаваць некаторыя рэчы, зрабіце так, каб усё было кампанавана і кампазіцыйна.

Я думаю, што неспрактыкаваных карыстальнікаў можна дараваць за тое, што яны не могуць крытыкаваць кепскія праекты. Але праграмістам, якія робяць інтэрактыўныя медыя для карыстальнікаў, і якія не клапоцяцца аб тым, каб даведацца аб сродках масавай інфармацыі і дызайне, асабліва з гісторыі сваёй уласнай вобласці, не павінна так лёгка гэта схадзіць з рук і яны не павінны ўзнагароджвацца за тое, што яны "слабейшыя".

Нарэшце, поле без рэальнай літаратуры амаль раўназначнае таму, што гэтае поле не з'яўляецца полем. Літаратура - гэта спосаб захаваць вялікія ідэі ў новым жанры, і ў сучаснасці і будучыні мысленні ў гэтай галіне. Гэта, вядома, не прысутнічае ў вылічэннях у якой-небудзь карыснай ступені. Як і поп-культура, вылічэнні ўсё яшчэ больш за ўсё зацікаўлены ў тым, што можна зрабіць без працяглага навучання, і дзе выкананне важней, чым наступствы вынікаў. Літаратура - адна з асяроддзяў, дзе можна перайсці ад простага і непасрэднага да большага і больш важнага.

Нам гэта патрэбна!

Аб школе GoTo

Алан Кей і Марвін Менскі: Computer Science ужо мае «граматыку». Патрэбна «літаратура»

Крыніца: habr.com

Дадаць каментар