Кстати, задумался над тем, чтобы переключить язык для разнообразия. Проголосуйте, плиз, кто читает посты этой серии: https://twitter.com/YuriyBogomolov/status/1140605960387534849

Джон Де Гуз продолжает свой крестовый поход против Tagless Final: http://degoes.net/articles/tagless-horror

DA

Хочу поделиться небольшой подборкой видео, которые регулярно напоминают мне, в чём красота математики и зачем я вообще этим всем занимаюсь:
https://www.youtube.com/watch?v=AmgkSdhK4K8 — элегантнейшее топологическое решение задачи о вписанном прямоугольнике;
https://www.youtube.com/watch?v=OkmNXy7er84 — задача поиска вероятности того, что центр сферы лежит внутри вписанного тетраедра;
https://www.youtube.com/watch?v=gB9n2gHsHN4 — почему фракталы это фигуры с дробной размерностью;
https://www.youtube.com/watch?v=yuVqxCSsE7c — применение теоремы Борсука-Улама для решения задачи разделения украденного ожерелья;
И немного computer science:
https://www.youtube.com/watch?v=IOiZatlZtGU — великолепный доклад Филипа Уодлера «Propositions as Types», который я рекомендую посмотреть всем, кто интересуется функциональным программированием (и в особенности тем, кто говорит, что типизированные языки не нужны);
https://www.youtube.com/watch?v=yjmKMhJOJos — The First Monad Tutorial от всё того же Филипа Уодлера, прекрасный как по подаче, так и по содержанию.

С праздником, мои дорогие изобретатели и рационализаторы :)

#effects #tagless_final
"Effects Without Monads: Non-determinism. Back to the Meta Language", Oleg Kiselyov
http://okmij.org/ftp/tagless-final/nondet-effect.html

Двенадцатый эпизод #monadicmonday выложен в Твиттере: https://twitter.com/YuriyBogomolov/status/1145705040327467011
Сегодня кратко поговорим о примитиве для асинхронных отложенных вычислений под названием Future.

28 сентября в Москве мы проведем первую крупномасштабную встречу Scala Russia.

Специальный гость — John De Goes. Джон выступит с докладом и проведет воркшоп.

Нас ждет:

🔹 2 потока,
🔹 7 докладов,
🔹 2 воркшопа.

Комфортная атмосфера нетворкинга. Еда. Бомбическое афтерпати

Участие — бесплатное.

Регистрация откроется чуть позже.

Открываем прием заявок на доклады.
Программный комитет: @odomontois, @oli_kitty, @eld0727, @fomkin, @nikitamelnikov (пополняется...)
Идеи докладов смело кидайте в личку @eld0727.

Следите за обновлениями!

Эмили Пиллмор о том, как произносить названия операторов в хаскеле

Компиляция #monadicmonday за июнь на площадке dev.to:
https://dev.to/ybogomolov/monadicmonday-compilation-june-143h

Компиляций на Медиуме больше не будет. Их политика относительно доступности контента (aka paywall), а также неприспособленность площадки для размещения примеров кода вынуждает меня перестать публиковать статьи там.