John De Goes — FP to the min:
https://www.youtube.com/watch?v=mrHphQT4RpU
https://www.youtube.com/watch?v=mrHphQT4RpU
YouTube
FP to the Min by John De Goes: Scala in the City Conference
FP to the Min
In 2018, John A. De Goes did a live coding session for the Functional Programming Group ennoscriptd, “FP to the Max”. Watched by tens of thousands of Scala developers, the video helped many understand the benefits of the total, deterministic functions.…
In 2018, John A. De Goes did a live coding session for the Functional Programming Group ennoscriptd, “FP to the Max”. Watched by tens of thousands of Scala developers, the video helped many understand the benefits of the total, deterministic functions.…
#музыкальная_пауза
С момента, когда я впервые писал о Дэвине Таунсенде, я был уверен, что меня вряд ли что-то может удивить в музыкальном плане больше, чем его концерт в Royal Albert Hall. Но Хэви Дэви смог это сделать еще раз, когда в апреле давал серию благотворительных карантинных концертов из своей домашней студии. Кажется, что с годами его голос становится только лучше. Просто послушайте:
— Первый концерт (особенно исполнение Why?)
— Второй концерт
— Третий концерт
С момента, когда я впервые писал о Дэвине Таунсенде, я был уверен, что меня вряд ли что-то может удивить в музыкальном плане больше, чем его концерт в Royal Albert Hall. Но Хэви Дэви смог это сделать еще раз, когда в апреле давал серию благотворительных карантинных концертов из своей домашней студии. Кажется, что с годами его голос становится только лучше. Просто послушайте:
— Первый концерт (особенно исполнение Why?)
— Второй концерт
— Третий концерт
Telegram
dd if=/dev/stuff of=/dev/tg
#музыкальная_пауза
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
У меня очень редко музыка вызывает мурашки по коже. Это — один из таких случаев:
https://youtu.be/DrDM6V08wcE
Фейсбук отдал в опенсорс любопытную утилиту для рефакторинга кода на хаскеле — Retrie (да, я тоже с первого раза прочел неправильно):
https://engineering.fb.com/open-source/retrie
TL;DR: эта утилита умеет делать рефакторинг, используя правила, аналогичные RULES-прагмам (или использовать их напрямую), а также использовать информацию о переписывании типов — скажем, заменить в аргументах функции строковый тип на enum. Ну и как вишенка на торте — правила рефакторинга можно засриптовать с помощью API Retrie.
Сам репозиторий с проектом: https://github.com/facebookincubator/retrie
https://engineering.fb.com/open-source/retrie
TL;DR: эта утилита умеет делать рефакторинг, используя правила, аналогичные RULES-прагмам (или использовать их напрямую), а также использовать информацию о переписывании типов — скажем, заменить в аргументах функции строковый тип на enum. Ну и как вишенка на торте — правила рефакторинга можно засриптовать с помощью API Retrie.
Сам репозиторий с проектом: https://github.com/facebookincubator/retrie
Engineering at Meta
Retrie: Haskell refactoring made easy
What’s new: We’ve open-sourced Retrie, a code refactoring tool for Haskell that makes codemodding faster, easier, and safer. Using Retrie, developers can efficiently rewrite large codebases (…
Непроизвольно (потому что рассчитывал на продуктивную дискуссию) стал участником твиттерской драмы: меня забанил Кайл Симпсон (You Don’t Know JS), после чего он разразился тредом про "FP Police" и "putting ideals over people". Achievement unlocked!
Forwarded from Ебанатика - наука точная
Поучительная микроистория 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
Тред "Монада - Это контейнер" №335 https://twitter.com/getify/status/1283113652724391937
Тред ,объясняющий, почему это не так https://twitter.com/YuriyBogomolov/status/1283237296402243585
Тред взорванного пукана https://twitter.com/getify/status/1283253826586324999
Forwarded from Alexander Granin
Видеоконференция по ФП #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. Вход свободный.
Всем привет!
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
https://news.1rj.ru/str/addstickers/WannaCock
Telegram
Ошибки в аргументации
Free stickerpack with 47 stickers.
This media is not supported in your browser
VIEW IN TELEGRAM
«У меня код и без типов работает»
Очень хорошо. Какой бы привлекательной не казалась технология (будь то формальная верификация, суперстрогие системы типизации, какой-либо архитектурный подход), всегда нужно уметь абстрагироваться и оценить возможные подводные камни.
Доклад Эдвина Брэди про Idris 2 на вчерашнем митапе Berlin Functional Programming Group:
https://www.youtube.com/watch?v=nbClauMCeds
https://www.youtube.com/watch?v=nbClauMCeds
YouTube
Edwin Brady Tells Us What's New in Idris 2
Idris is a functional programming language with first-class types and with built-in support for interactive editing. Together, these features mean that Idris is ideally suited to "Type-driven development," where we begin by writing a type and an empty function…
ML, который мы заслужили:
[NSFW] https://thisdickpicdoesnotexist.com
[NSFW] https://thisdickpicdoesnotexist.com
Вчера стартовала бесплатная онлайн-конференция 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 (вот слайды).
Из того, что лично я рекомендую не пропустить:
— Доклад Филип Уодлера «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 (вот слайды).