Алан Кей та Марвін Мінськ: 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.


Крім «динамічних об'єктів», одна з ключових міркувань тут полягає в тому, що «види» — медіа, які видно на сторінці, — можуть оброблятися рівномірно та незалежно від їхнього вмісту (ми називаємо їх «моделями»). Все це вікно (деякі з них мають явні рамки, а деякі не відображають свої рамки). Всі вони складені на сторінці проекту. Ще одне розуміння полягало в тому, що оскільки ви повинні складати і комбінувати деякі речі, зробіть так, щоб все було компоновано і композиційно.

Я думаю, що недосвідчених користувачів можна пробачити за те, що вони не можуть критикувати погані проекти. Але програмістам, які роблять інтерактивні медіа для користувачів, і які не дбають про те, щоб дізнатися про засоби масової інформації та дизайн, особливо з історії своєї власної області, не повинно так легко це сходити з рук і вони не повинні винагороджуватися за те, що вони “слабші”.

Зрештою, поле без реальної літератури майже рівнозначне тому, що це поле не є полем. Література - це спосіб зберегти великі ідеї в новому жанрі, і в сучасному і майбутньому мисленні в цій галузі. Це, звичайно, не присутнє у обчисленнях у будь-якій корисній мірі. Як і поп-культура, обчислення все ще найбільше зацікавлені в тому, що можна зробити без тривалого навчання, і де виконання важливіше за наслідки результатів. Література - одне з середовищ, де можна перейти від простого і безпосереднього до більшого і важливішого.

Нам це потрібне!

Про школу GoTo

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

Джерело: habr.com

Додати коментар або відгук