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

Непроизвольно (потому что рассчитывал на продуктивную дискуссию) стал участником твиттерской драмы: меня забанил Кайл Симпсон (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

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

Mathlib is an online, evolving, collaborative project, aiming to be a foundation for all of modern pure mathematics. It is fully searchable, and here is its homepage. It is hosted on github, and it is all checked with the Lean Theorem Prover.

https://mathoverflow.net/questions/369863/online-evolving-collaborative-foundational-text-projects/370105#370105