https://busy-beavers.tigyog.app/proofs-about-programs — интерактивное обучение LEAN. Интересно и очень доступно написано.

Подведу небольшие итоги года

За этот год, несмотря на все невзгоды и сложности, я продолжил расти как архитектор и разработчик. Получилось так, что я успешно завершил несколько рабочих проектов, и сейчас работаю в звездной команде вместе с инженерами уровня СТО и Associate Principal. Это дало огромный буст, в первую очередь, софт-скиллам и навыкам управления командами. Отдельно хочу публично поблагодарить мою супругу Арину — без ее коучинговой поддержки такой рост был бы просто невозможен ❤️

В плане программирования 2022 также оказался для меня важным: я продолжил работу над личным брендом и менторской программой по функциональному TypeScript. В первом квартале 2023 планирую запускать первый поток, а пока занимаюсь с несколькими студентами в экспериментальном формате индивидуально. Следите за обновлениями — скоро будет много всего интересного! 🙂

С Новым годом! 🎄

P.S. Также подвел итоги года в своем музыкальном канале. Подписывайтесь 😉

Интервью quanta с Лесли Лампортом
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517

Я решил, что буду писать не только на тему функционального программирования, ведь мне есть что сказать на темы образования, обучения команд, архитектуры, лидерства. Поэтому в качестве эксперимента я опубликовал небольшое эссе о системе управления знаниями, которую я использую: https://ybogomolov.me/with-simplicity-comes-clarity
А что используете вы для упорядочивания знаний? Notion, Logseq, Obsidian, Evernote, Gingko, или, может, что-то кастомное? Пишите в комментариях, мне интересно узнать больше о моих подписчиках.

Джон Де Гоуз написал огромную статью с обзором всей экосистемы Scala, включая IDE и системы сборки: https://degoes.net/articles/scala-resurrection
Главное, что он не просто перечислил факты, а предложил решения для некоторых проблем. В частности, он предложил провести Scala Open Source Summit, где предполагается обсуждать вопросы консолидации экосистем.
Как по мне, очень здравые предложения. А что думаете вы?

Эмили Риль объясняет концепцию бесконечности на пяти уровнях сложности, от детского до экспертного: https://youtu.be/Vp570S6Plt8
Нереально крутая серия видео от Wired, советую глянуть и другие видео из этого плейлиста: https://youtube.com/playlist?list=PLibNZv5Zd0dyCoQ6f4pdXUFnpAIlKgm3N

Free Variables and Free Effects: an elementary introduction to algebraic effects and handlers
https://okmij.org/ftp/Computation/variables-effects.html

Для Scala.js разработали новый плагин для hot reload: https://www.scala-lang.org/blog/2023/04/18/faster-scalajs-development-with-frontend-tooling.html
В отличии от старого scalajs-bundler, который работал с webpack, новая разработка нацелена на Vite.
А вы пробовали этот бандлер?

Сегодня в Лиссабоне проходит ZIO World 2023. Я оффлайн приехать в этом году не смог, хоть это и близко, поэтому смотрю онлайн. Веду небольшую трансляцию в твиттере: https://twitter.com/YuriyBogomolov/status/1649339971038334977
Подписывайтесь 😉 А вы смотрите эту конференцию? Что думаете про ZIO 2.1 и новую модель стримов?

Вынес всю информацию по менторингу к себе на сайт: https://ybogomolov.me/mentoring ✨

На текущий момент готов взять 2-3 человек в персональный менторинг, или 4-5 в группу. Старт группы возможен уже в августе, а early birds получат скидку 10%!

В эфире нерегулярная рубрика «дед ворчит на строки»: https://ybogomolov.me/primitives-were-a-mistake
Рассказываю, почему вы должны перестать пользоваться типами string, number, boolean прямо сейчас.

Реализация STLC на хаскеле с использованием индексов/уровней де Брёйна: https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html 🔥

Шахматы на тайп-левеле, причем с реализацией не только на TypeScript, но и на Rust:
https://github.com/Dragon-Hatcher/type-system-chess
Программа на Rust более чем в пять раз длиннее, чем на TS. Любопытные выводы автора:
• TS — писать на тайп-левеле почти приятно, но не хватает математики и let-байндингов (о да!).
• Rust — больше никогда!!1, очень медленно и многословно.

Old, but gold: при определенных условиях компилятор раста генерировал имя типа размером 350 мегабайт. Хорошо все-таки, когда система типов Тьюринг-полна 🤤

TLA+, но с человеческим синтаксисом:

https://github.com/informalsystems/quint

Quint is inspired by TLA+ but provides an alternative surface syntax for specifying systems in TLA. The most important feature of our syntax is that it is minimal and regular, making Quint an easy target for advanced developer tooling and static analysis.

Начало новой серии статей о Effect:
https://ybogomolov.me/01-effect-intro 🔥
Рассказываю, что такое Effect<R, E, A>, как создавать, комбинировать, и интерпретировать эффект-выражения. Плюс небольшой бонус — функция effectify для конвертации Node-style callbacks в эффект-выражения.

В твиттере показали красивое: https://github.com/gvergnaud/hotnoscript

Вторая статья из серии “Intro to Effect”: https://ybogomolov.me/02-effect-handling-errors ✨

Рассказываю о способах обработки ошибок в Effect и механизмах организации повторяемых вычислений (retry policies).

Typed Design Patterns for the Functional Era

This paper explores how design patterns could be revisited in the era of mainstream functional programming languages.

https://arxiv.org/abs/2307.07069

Третья статья из серии "Intro to Effect": https://ybogomolov.me/03-effect-managing-dependencies 🔥

Сегодня рассказываю про сервисы, слои (layers), и способ сделать DI без IoC-контейнеров.