Во-во, я тоже охренел :) Размышляю, написать об этом в докладе подробно или упомянуть вскользь и сказать "Кайфуйте самостоятельно". Пока из-за нехватки времени склоняюсь ко второму варианту :)
Первая производная даёт zipper, который позволяет модифицировать элемент в дырке за O(1). Автор утверждает, что вторая производная (Second Order Zipper) даёт дополнительную функциональность, в частности, позволяет делать splice структур за O(1).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
(no subject)
(no subject)
(no subject)
no subject
Ещё в ту же копилку
Первая производная даёт zipper, который позволяет модифицировать элемент в дырке за O(1). Автор утверждает, что вторая производная (Second Order Zipper) даёт дополнительную функциональность, в частности, позволяет делать splice структур за O(1).
Ну и ещё
http://okmij.org/ftp/Computation/Continuations.html#zipper
Конкурентные зипперы на одной структуре, с любым уровнем изоляции. Правда реализация, похоже, совсем другая.
no subject
(no subject)