deniok: (удивлён)
[personal profile] deniok
Зиппер для алгебраической структуры находится дифференцированием типа этой структуры.

Охренеть!

Date: 2007-10-07 11:22 am (UTC)
From: [identity profile] antilamer.livejournal.com
Во-во, я тоже охренел :) Размышляю, написать об этом в докладе подробно или упомянуть вскользь и сказать "Кайфуйте самостоятельно". Пока из-за нехватки времени склоняюсь ко второму варианту :)

Date: 2007-10-07 04:36 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Ого, блин!

Ещё в ту же копилку

Date: 2007-10-07 06:00 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
http://notvincenz.blogspot.com/2007/07/higher-order-zippers.html

Первая производная даёт zipper, который позволяет модифицировать элемент в дырке за O(1). Автор утверждает, что вторая производная (Second Order Zipper) даёт дополнительную функциональность, в частности, позволяет делать splice структур за O(1).

Ну и ещё

Date: 2007-10-07 06:34 pm (UTC)
From: [identity profile] deni-ok.livejournal.com
От Олега
http://okmij.org/ftp/Computation/Continuations.html#zipper
Конкурентные зипперы на одной структуре, с любым уровнем изоляции. Правда реализация, похоже, совсем другая.

Date: 2007-10-07 08:48 pm (UTC)
From: [identity profile] lomeo.livejournal.com
Круто, спасибо за инфу.

Profile

deniok: (Default)
deniok

February 2022

S M T W T F S
  12345
6789101112
13141516171819
20212223 242526
2728     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 4th, 2025 11:28 am
Powered by Dreamwidth Studios