Обработка элемента множества в контексте "соседей"

[metaclass]

Вот тут http://levgem.livejournal.com/420910.html задают вопрос, который меня тоже сильно интересует - есть ли такая высокоуровневая операция, которая бы позволила абстрагировать обработку элемента (упорядоченного) множества в контексте взаимодействия этого элемента с его соседями.
Вроде antilamer что-то похожее писал про комонады, но мне без конкретной задачи сложно осознать, как это использовать.
Вот например map, filter, fold - я их понял от входа, потому что очевидная аналогия с SQL запросами - select, where, group by (и прочие агрегаты).
У обработки в контексте понятная мне аналогия - это, например, window functions в SQL, скользящее среднее, интеграторы-дифференциаторы и прочие фильтры-свертки в DSP, но вот их я внятным образом с функциональщиной сопоставить не могу.

PS: клеточные автоматы и комонады: http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html Клеточный автомат тоже подвид фильтра поверх скользящего окна.
И функции поверх потоков: http://blog.sigfpe.com/2006/06/monads-kleisli-arrows-comonads-and.html

Comments

[antilamer.livejournal.com]

Это стопудоф комонады. Но вот что я тебе скажу: я понимаю, как все эти вещи моделируются с их помощью, но я пока не понимаю, есть ли смысл использовать для этой цели именно комонады. Можешь попробовать - думаю, с практической задачей в руках ты зайдешь в исследовании дальше, чем я.

[lomeo.livejournal.com]

Расскажи.

[antilamer.livejournal.com]

Дык http://antilamer.livejournal.com/444472.html же

[lomeo.livejournal.com]

Какая из них? (Мы же про задачу levgem?)

[antilamer.livejournal.com]

Я про "window functions в SQL, скользящее среднее, интеграторы-дифференциаторы и прочие фильтры-свертки в DSP". Как это на задачу levgem ложится, не знаю :)

[metaclass.livejournal.com]

Да так же и ложится - из элемента и его соседей делается "элемент с указателями на соседей". Это тот же фильтр.

[lomeo.livejournal.com]

Для его задачи и зиппера хватает ;-)

Только причём тут комонады? Ведь когда говорят "монада", "комонада", имеют в виду соответствующие функции, а не структуры данных, верно? Т.е. монада список — это concatMap, удобный liftM2 и т.д.

Тут-то вроде ничего подобного не нужно.

[lomeo.livejournal.com]

А, ты про зиппер, наверное. В общем, я не о том, проехали.