Темы докладов

Здесь перечислены темы, которые в рассылке называли как возможные или интересные. Рядом с каждой возможной темой указан автор, который заявил о своем желании сделать доклад.

Если вы хотите рассказать или услышать о чем-нибудь, добавьте свою тему в список (если готовы рассказать - напишите свое имя).

Возможные темы

Functional Reactive Programming - Станислав Серебряков

Functional Pearls - Евгений Кирпичев, Иван Веселов

Template Haskell (после декабря) - Иван Веселов

Finger Trees — должно хорошо пойти после двух рассказов Жени про functional data-structures, но я ещё недоразобрался -- IvanTarasov

Поддержка параллельных вычислений в Haskell (не раньше январской встречи) -- DimitriTimofeev

Пожелания

Coq, constructive type theory (?) и всё вокруг

Code Camp для начинающих хаскеллистов

Arrows

GADT

GUI

Template Haskell

Теория, связанная с системами типов

Параллелизм

Редко-используемые монады (типа продолжений) и как их хорошо использовать

Производительность

Краткий тур по основным библиотекам для работы с "real-world" - сеть, http, xml, GUI, БД...

Использование Haskell или других функциональных языков в реальных проектах

Прозвучавшие доклады

Михаил Митрофанов, Monad Transformers (16.02.2008)

Евгений Кирпичев, Язык Erlang (16.02.2008)

Иван Тарасов, Scrap Your Boilerplate & Uniplate (15.12.2007)

Дмитрий Тимофеев, Архитектура и использование Parsec (15.12.2007)

Иван Веселов, Комбинаторы сериализации (17.11.2007)

Иван Веселов, Комбинаторы сериализации (Pickler combinators) (17.11.2007)

Денис Москвин, Теоремы бесплатно (17.11.2007)

Евгений Кирпичев, Функциональные структуры данных (часть 2) (17.11.2007)

Евгений Кирпичев, The Zipper и другие чисто функциональные структуры данных (13.10.2007)

Михаил Митрофанов, Введение в теорию категорий (13.10.2007)

Дмитрий Тимофеев, Введение в QuickCheck (13.10.2007)