Зиппер для монад

[deniok]

Вроде довольно интересно:
http://tomschrijvers.blogspot.com/2010/03/bruno-oliveira-and-i-are-working-on.html
Не забыть посмотреть внимательнее; прямая ссылка на pdf:
http://www.cs.kuleuven.be/~toms/Research/papers/monad_zipper_draft.pdf

Comments

[asviraspossible.livejournal.com]

Я помню когда прочитал Data Types a la Carte, то подумал "ОЧЕНЬ КРУТО", а потом подумал "но нифига не понятно"... Здесь как-то ещё хуже, подумалось "КРУТО ЛИ", а потом подумалось "всё равно нифига не понятно"... Там структура статьи кривая, сначала библиотечный код, а потом motivating examples, должно быть, вроде, наоборот. Вообще как-то слишком сложно, когда читаю Олега Киселёва, то у меня всегда ощущение, что у него всё слишком просто, очень невминяемый код и магия, и понимание, что я бы ничего такого никогда не написал, но при этом всё читабельно и поняно. А вот здесь подозрение, что как-то слишком всё криво, если честно...