(no subject)

[aruslan]

Alan Kay. How Simply and Understandably Could "The Personal Computing Experience" Be Programmed (WMV)
Alan Kay. How Simply and Understandably Could "The Personal Computing Experience" Be Programmed (PDF)

Benjamin C. Pierce. The Weird World of Bi-Directional Programming (PDF)

Martin Rinard. Eliminating Fatal Errors in Software Systems (PPT)

Comments

[justy-tylor.livejournal.com]

Ой вэй нiнгенъ...
Bi-directional (тема Harmony/Boomerang) меня как-то поначалу вдохновило. Сам недавно рассматривал вопросы декларации типов параллельно с их проекциями (не обязательно только двумя), а также многотипных преобразований туда-обратно между проекциями. Думал, там найдётся, что к этому добавить
Но на деле Boomerang оказался эпическим фейлом. С примерами вида "как проебать кучу информации, а потом пытаться её примерно восстановить". Хотя в подавляющем большинстве случаев можно свободно работать во второй проекции, не теряя связи данных с первой. Т.е. под очень узкоспецифичную тему "восстановления" подводятся такие примеры, проёб данных в которых наводит на мысли об ошибках в ДНК разработчика.
Взять оттуда можно только "линзочки", как подходящий термин для преобразований между проекциями.

[aruslan.livejournal.com]

Я помню были очень занятные бумаги про симметричные вычисления - оно скорее про constraints чем про проекции, но через это становится по-настоящему интереснее.
Т.е. грубо говоря если есть прямое вычисление размера шайбы исходя из чего-то, то изменяя размер шайбы изменяются и входные данные.
Помню что эти бумаги писал наш академик с условно-армянской фамилией, но могу ошибаться. Поиском не нашел, к сожалению, но наверняка Александр Топаж знает.

А в бумеранге как раз про случаи когда связи с первой утеряны.
Но я вообще все три бумаги запостил как пример сна и чудовищ если что :)

[loyso-b.livejournal.com]

> Но я вообще все три бумаги запостил как пример сна и чудовищ если что :)

В смысле?