?

Log in

No account? Create an account
Alan Kay. How Simply and Understandably Could "The Personal… - Valse oubliée [entries|archive|friends|userinfo]
aruslan

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ delicious | aruslan's delicious ]

Links
[Links:| Tags Profile Friends FG1 PP gamedev XNA FF Entries Comments Memories ]

[Jun. 3rd, 2008|05:17 pm]
aruslan
[Tags|, , ]

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)
LinkReply

Comments:
[User Picture]From: justy_tylor
2008-06-04 12:00 pm (UTC)
Ой вэй нiнгенъ...
Bi-directional (тема Harmony/Boomerang) меня как-то поначалу вдохновило. Сам недавно рассматривал вопросы декларации типов параллельно с их проекциями (не обязательно только двумя), а также многотипных преобразований туда-обратно между проекциями. Думал, там найдётся, что к этому добавить
Но на деле Boomerang оказался эпическим фейлом. С примерами вида "как проебать кучу информации, а потом пытаться её примерно восстановить". Хотя в подавляющем большинстве случаев можно свободно работать во второй проекции, не теряя связи данных с первой. Т.е. под очень узкоспецифичную тему "восстановления" подводятся такие примеры, проёб данных в которых наводит на мысли об ошибках в ДНК разработчика.
Взять оттуда можно только "линзочки", как подходящий термин для преобразований между проекциями.
(Reply) (Thread)
[User Picture]From: aruslan
2008-06-04 06:14 pm (UTC)
Я помню были очень занятные бумаги про симметричные вычисления - оно скорее про constraints чем про проекции, но через это становится по-настоящему интереснее.
Т.е. грубо говоря если есть прямое вычисление размера шайбы исходя из чего-то, то изменяя размер шайбы изменяются и входные данные.
Помню что эти бумаги писал наш академик с условно-армянской фамилией, но могу ошибаться. Поиском не нашел, к сожалению, но наверняка Александр Топаж знает.

А в бумеранге как раз про случаи когда связи с первой утеряны.
Но я вообще все три бумаги запостил как пример сна и чудовищ если что :)
(Reply) (Parent) (Thread)
[User Picture]From: loyso_b
2008-06-10 07:34 am (UTC)
> Но я вообще все три бумаги запостил как пример сна и чудовищ если что :)

В смысле?
(Reply) (Parent) (Thread)