Вторая встреча SPbHUG

[deniok]

Встреча прошла замечательно, все доклады понравились и свой тоже :) Правда свой я безбожно затянул - вместо положенного часа болтал часа полтора как минимум.

Подтверждения моей сугубо личной теории, что плотность правильных людей повышается при приближении к станции метро "Московская", наблюдались, как по факту поездки так и по косвенной информации :) Разрабатываю планы по вытаскиванию соседей в "Республику Кофе" :)

Выложил презентацию своего доклада на сайте SPbHUG.

Comments

[http://users.livejournal.com/_navi_/]

ага, я оказался практически самым неправильным значит :-)

[deni-ok.livejournal.com]

Я говорил про плотность ;) Правильные люди живут везде, а на Московской куда не плюнешь - попадёшь в правильного человека :) Приходится воздерживаться от плевков :))

[migmit.livejournal.com]

Гм. Я живу на Московской. Гм.

[deni-ok.livejournal.com]

Ага, мне сообщили ;)
Пошли завтра кофе пить :)
У меня как раз вопрос был, насколько мои диаграмки честные с точки зрения ТК.

[migmit.livejournal.com]

Первое, боюсь, уже не актуально.
Второе - ну, нечестные, конечно, но, кажется, можно придать им вполне строгий смысл, работая по "When parametricity implies naturality". Впрочем, надо ли? Работает ведь.

[deni-ok.livejournal.com]

> Впрочем, надо ли? Работает ведь.

+10 :)))

[kurilka.livejournal.com]

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

[deni-ok.livejournal.com]

Ага, выложу. Только, я думаю, стоит подождать, пока Женя выложит свои слайды.

Видеосъёмки, к сожалению, не было. Разгильдяйство вполне понятное: мы того, кто прошлую встречу снимал, найти не можем :))

[kurilka.livejournal.com]

Кстати, а что это за штуковина там на сайте в качестве логотипа? :)

[deni-ok.livejournal.com]

Черт его знает. Похоже это логотип этой Wiki.

[kurilka.livejournal.com]

ну хоть бы лямбду какую залепили :)

[deni-ok.livejournal.com]

Чужую не хочется, а свою - не умеем :)

Надо будет загрузить знакомых дизайнеров.

[kurilka.livejournal.com]

Ну эт так, "мелкое брюзжание" :)
Кстати вот эти всякие теоремы Вадлера и пр. - у тебя в докладе были реальные "живые" примеры для демонстрации практического применения их?

[deni-ok.livejournal.com]

build/fold и map/map rules используются для оптимизаций в Rewrite rules в GHC.

Есть ещё destroy/unfoldr rule для

destroy :: forall a.forall c.(forall b. (b -> Maybe (a,b)) -> b -> c) -> [a] -> c
unfoldr :: forall a.forall b.(b -> Maybe (a,b)) -> b -> [a]

для того же самого, что build/fold.

И ещё Concatenates Vanish Rule, позволяющее элиминировать конкатенации списков:

Для любой

g :: forall b.b -> (A -> b -> b) -> (b -> b -> b) -> b

выполняется теорема

g [] (:) (++) = vanish g

где

vanish :: forall a. (forall b.b -> (a -> b -> b)
                              -> (b -> b -> b)) -> [a]
vanish g = g id (\x h ys -> x:(h ys)) (.) []

Но этого в GHC не используют, хотя программист при желании может сам задать соответствующие правила.

Фишка в применении Free Theorems в том, что функции должны быть под них заточены. Библиотечные реализации многих функций из Prelude написаны так, чтобы быть хорошими консьюмерами и продюсерами для List Fusion.

[dtim.livejournal.com]

Точно, логотип вики. Я рисовать так и не научился, да и все остальные не умеют или не особо хотят, видимо :).

[dtim.livejournal.com]

Я в двух остановках от Московской живу :).

[deni-ok.livejournal.com]

И про тебя сообщили ;)
Куда ты делся после встречи-то?

[dtim.livejournal.com]

В туалет вышел, а вы тем временем уже убежали :).