Пейперы, поданные на ICFP 2020:
https://github.com/llelf/icfp2020-papers

БЄДЯ С БАШKON

Перевод с клиентского на русский 😻❌😿

Непроизвольно (потому что рассчитывал на продуктивную дискуссию) стал участником твиттерской драмы: меня забанил Кайл Симпсон (You Don’t Know JS), после чего он разразился тредом про "FP Police" и "putting ideals over people". Achievement unlocked!

Поучительная микроистория https://twitter.com/YuriyBogomolov/status/1283282078293995527

Тред "Монада - Это контейнер" №335 https://twitter.com/getify/status/1283113652724391937

Тред ,объясняющий, почему это не так https://twitter.com/YuriyBogomolov/status/1283237296402243585

Тред взорванного пукана https://twitter.com/getify/status/1283253826586324999

Видеоконференция по ФП #3

Всем привет!

9 августа, в воскресенье, в 16:00 МСК, состоится онлайн-встреча любителей Haskell и функционального программирования. На этот раз будет нечто особенное. Тема встречи - книги по Haskell, а в качестве экспертов приглашены сами авторы:

Виталий Брагилевский, автор книги “Haskell in Depth”

Денис Шевченко, автор книги “О Haskell по-человечески”

Антон Холомьев, автор книги “Учебник по Haskell”

Александр Гранин, автор книги “Functional Design and Architecture”


Мы поговорим с авторами, как они пришли к мысли, что надо писать книги по Haskell, как это было и что из этого вышло. Также коснемся других книг и обсудим методики обучения языку. На встрече можно будет задать авторам вопросы и узнать много интересного из их личного опыта. Приходите!

Программа:

16:00 Вступительное слово
16:00 - 16:30 Приветствие, авторы о себе
16:30 - 17:00 Авторы о своих книгах
17:00 - 18:00 Интервью с авторами
18:00 - 19:00 Обсуждения

Встреча будет проходить в Zoom, ссылка появится в чате @FPConfOnline за 5 минут до начала. Митап будет записан и выложен на YouTube. Вход свободный.

Показали стикерпак для важных переговоров (по мотивам не менее охуенного, но слишком серьезного t.me/addstickers/wfallacies):
https://news.1rj.ru/str/addstickers/WannaCock

«У меня код и без типов работает»

Очень хорошо. Какой бы привлекательной не казалась технология (будь то формальная верификация, суперстрогие системы типизации, какой-либо архитектурный подход), всегда нужно уметь абстрагироваться и оценить возможные подводные камни.

Доклад Эдвина Брэди про Idris 2 на вчерашнем митапе Berlin Functional Programming Group:
https://www.youtube.com/watch?v=nbClauMCeds

ML, который мы заслужили:
[NSFW] https://thisdickpicdoesnotexist.com

Eto ya

Вчера стартовала бесплатная онлайн-конференция Haskell.Love. Сегодня с 16:00 на твиче начинаются доклады второго и заключительного дня: https://haskell.love/agenda-day-2

Из того, что лично я рекомендую не пропустить:
— Доклад Филип Уодлера «Propositions as Types» — материал старый, но просто за харизму докладчика стоит послушать ❤️
— Доклад Кристофера Фогта «Writing 2D games using super simple Haskell» — для тех, кто спрашивает «а что на этом вашем хаскеле вообще пишут?»
— Доклад Дерека Элкинса «Quotient Types + Behavioral Reflection = ?»
— Доклад Бартоша Милевского «Replacing functions with data» про технику дефункционализации…
— …либо доклад Габриэля Гонзалеса «How to market Haskell to a mainstream programmer», если интересен прикладной аспект хаскеля
— Доклад Ричарда Эйзенберга «Parameters of many Flavors»
— Ну и, наконец, доклад Эмили Пиллмор «Hulk SMASH: re-imagining the Maybe-monad and its design space»

Вчера тоже были крутые доклады — скажем, Вероника Ромашкина и Дмитрий Коваников представили офигенный Stan, Владислав Завьялов очень круто рассказал, как рассахариваются разные фичи хаскеля в GHC Core, а Андрес Лох поведал про Typed Template Haskell с использованием Staging (вот слайды).

На канале Konfy выложили доклады конференции Haskell.Love:
https://www.youtube.com/playlist?list=PLBqWQH1MiwBSK9wuaATNS701c43VYVTuc

Прекрасная статья (с упражнениями!) от Вероники Ромашкиной и Дмитрия Кованикова:
https://kowainik.github.io/posts/haskell-mini-patterns

Статьи с Haskell Symposium 2020 ограниченное время доступны бесплатно: https://dl.acm.org/doi/proceedings/10.1145/3406088

— Привет, что-то у меня типы не сходятся, глянешь?