| control/prompt и все-все-все |
[Mar. 19th, 2009|03:00 pm] |
Сегодня будет сумбурная заметка, в которой встретятся control/prompt и
shift/reset, small-step интерпретаторы, higher-order abstract syntax,
GADTs и другие ( scary lambdas ) |
|
|
| Status update |
[Feb. 3rd, 2009|10:34 am] |
Приняли мой мааааленький патчик в Cabal. Мелочь, а приятно. |
|
|
| Песней навеяло |
[Dec. 5th, 2008|12:14 pm] |
|
Рефаулер |
|
|
| Reading on continuations |
[Apr. 8th, 2008|02:29 pm] |
1. Talk: Delimited Continuations in Computer Science and Linguistics
Презентация О. Киселева и К. Шана, которая популярно объясняет значение терминов continuations, delimited continuations, и показывает, каким образом они относятся к операционным системам и лингвистике. Китайские иероглифы вместо привычных греческих букв смотрятся очень свежо.
2. An Analytical Approach to Programs as Data Objects
Диссертация Olivier Danvy. Фундаментальная работа по теории языков программирования, рассматриваются вопросы семантики программ, трансформации программ, частичных вычислений, все изложение построено вокруг понятия "continuation". *
*Я ее еще не осилил, но выглядит как MUST READ. Как минимум, эпиграфы к каждой главе замечательные. |
|
|
| navigation |
| [ |
viewing |
| |
most recent entries |
] |
| [ |
go |
| |
earlier |
] |
| |
|
|
![[info]](http://l-stat.livejournal.com/img/userinfo.gif?v=91.7){kind=small}
palm_mute's journal
![[info]](http://l-stat.livejournal.com/img/community.gif?v=91.7){kind=small}