что меня достаёт последние недели

а) я и сам некоторое время назад писал, и вообще это как бы общеизвестный анекдот, что "мапредьюс есть монада" - чо? может кто-нибудь пояснить? я что-то в упор не вижу. где монада?

б) в мапредьюсе, если его вообще начинаешь математизировать, оказывается, что важен некий partitioning; ну на самом деле здесь есть некоторый обман, примерно равносильный введению равномерного распределения на множестве натуральных чисел (хотя, пожалуй, я мог бы проделать определённый трюк... ну это ладно); так вот, партишенинг этот, я не вижу, как его вообще математизировать.

в) и вообще, распределённые вычисления, там какой-нибудь математический бекграунд имеется? Или это уже всё больше к матфизике относится, гарантия локальности, или там марковости...

типа приехал; и без этого не получается ни хрена формализовать, и что читать не знаю. Всё что вижу - это код на хаскеле, типа
http://www.haskell.org/haskellwiki/MapReduce_as_a_monad#Generalised_mappers_.2F_reducers
http://blog.sigfpe.com/2009/02/beyond-monads.html

А в этих текстах я не могу найти ответа даже на такой простой вопрос - ваш монадический мапредьюс, считающий слова в тексте, он вернёт ноль на пустой текст? Не похоже что-то.

zipper in scala

patterngazer.blogspot.com

final case class Zipper[+A](tree: Tree[A], spots: List[Spot[A]])