Хабра-todo

За последние несколько месяцев у меня набралось несколько планов на статьи, которых сильно не хватает хабра-аудитории. В целом они делятся на три больших класса: ФП, Computer Science и ACM-алгоритмистика.

Это - список, себе на память, чтобы брать из очереди, как время появится.

• FParsec - "утереть нос" товарищу Дмитрию mezastel Нестеруку :)


• Списочные гомоморфизмы. Свертка. Сканирующие пробеги. Короче, основы Vector Models for Data-Parallel Computing, и немного про MapReduce с математической стороны вопроса.


• Структура данных Rope, на основании уже существующего моего цикла про декартово дерево.


• В рамках той же темы "Основы Computer Science: ликбез для птушников" - λ-исчисление, порядок редукций, теорема Черча-Россера, и как отсюда логически выходят потоки и ленивые вычисления. Ссылки на SICP и ПФП.


• (?) Что-то про теорему Райса и теоретически вычислимые алгоритмы. Можно и классы сложности упомянуть.


• Дерево отрезков.


• (?) Дерево Фенвика.


• Суффиксный массив, его применения. Возможно - суффиксный автомат и дерево. Уже почти год хочу рассказать, офигенная вещь ведь.

To be continued...