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

[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

[pod-baobabom.livejournal.com]

Вот ведь же ж. Работаю с ним на одном этаже и не в курсе даже, что он таким занимается.

[deni-ok.livejournal.com]

:)

[palm-mute.livejournal.com]

Да вы что, это же человек-пароход. А вы работаете в K.U.Leuven?

[pod-baobabom.livejournal.com]

Да, там.
Ну то, что Том крут, мы тут все в курсе - он периодически на семинарах докладывается. Но за всеми его работами я не слежу.

[asviraspossible.livejournal.com]

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

[zamotivator.livejournal.com]

http://zabivator.livejournal.com/392340.html

[deni-ok.livejournal.com]

Что-то с этой матэкономикой какое-то весеннее обострение - со всех сторон достают :) Скучнейшая, ИМХО, наука без особого содержательного прикладного выхлопа. Я по ней когда-то лекции читал, ибо заставляли, потом взбунтовался и отказался.
Впрочем присылай, погляжу, может что гениальное и появилось:)

[zamotivator.livejournal.com]

На какой email высылать?

[deni-ok.livejournal.com]

dmoskvin на гмыле