О MskHUG в декабре 2015го года…

Сходил на слёт хаскелистов в Яндексе, послушал доклады. Коротко:

• Лучший доклад был пожалуй про Servant. Человек настолько задороно выступил, что мне захотелось оный Servant потыкать, хотя у меня и нет задач для которых мог бы понадобится веб-сервер. Чуваку, который сравнивал сложность комбинирования роутов веб-сервера и сложность комбинирования парсеров в parsec посылаю луч ненависти: во втором случае сложность вылезает из-за типично нетревиальных грамматик и того что парсек говно и не умеет в бэктрекинг (но это совсем другая история).

• Наиболее полезным для меня оказался доклад про зависимые типы, который оказался не про зависимые типы, а про костыли в GHC, которые позволяют типизировать типы типами. Собственно я наконец примерно понял как работает этот механизм. А вот квантор pi мне напомнил С++14 с его decltype(auto).

• Зефиров опять рассказывал что-то очень интересное и я опять мало что смог вынести из доклада: во-первых опоздал к началу, во-вторых сам доклад проводился в экстремальных условиях и в-третьих Зефиров довольно хреновый докладчик.

• Крайне полезным был доклад @qnikst’а. Жаль что он не успел его дочитать. Всё бы ничего, но мне как-то стабильно не нужно вызывать внешние функции из haskell руками. Обычно дело ограничивается сериализацией/десериализацией сишных структур прилетевших из ядерных интерфейсов. Хотя идея хакнуть рантайм через unsafe ffi-вызовы, которые блокируют тред и gc мне показалась очень интересной, хотя и вредной.

• Посмотрел на живого Ленина@qnikst’а. Он классный ,от него сияние исходит.

• Попытался объяснить живому @segfault’у радость комбинатора неподвижной точки.

• Попытался объяснить живому @segfault’у радость GREEN’а, полнопрограмной компиляции и отказа от стека в пользу распихивания аргументов функций по фиксированным непересекающимся регистрам.

Больше не сделал ничего ползного. В следующий раз нужно будет запастись:

• Бейджем с ником на жуйке.

• Карточками с вопросами, чтобы передавать их по кругу по столу во время неформальной части.

• Докладом про Remote Monad, если к этому времени мой Action будет честным частным случаем.