Во-во, я тоже охренел :) Размышляю, написать об этом в докладе подробно или упомянуть вскользь и сказать "Кайфуйте самостоятельно". Пока из-за нехватки времени склоняюсь ко второму варианту :)
Первая производная даёт zipper, который позволяет модифицировать элемент в дырке за O(1). Автор утверждает, что вторая производная (Second Order Zipper) даёт дополнительную функциональность, в частности, позволяет делать splice структур за O(1).
no subject
Date: 2007-10-07 11:22 am (UTC)(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2007-10-07 04:36 pm (UTC)Ещё в ту же копилку
Date: 2007-10-07 06:00 pm (UTC)Первая производная даёт zipper, который позволяет модифицировать элемент в дырке за O(1). Автор утверждает, что вторая производная (Second Order Zipper) даёт дополнительную функциональность, в частности, позволяет делать splice структур за O(1).
Ну и ещё
Date: 2007-10-07 06:34 pm (UTC)http://okmij.org/ftp/Computation/Continuations.html#zipper
Конкурентные зипперы на одной структуре, с любым уровнем изоляции. Правда реализация, похоже, совсем другая.
no subject
Date: 2007-10-07 08:48 pm (UTC)(no subject)
From: