dd if=/dev/stuff of=/dev/tg

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

Вынес всю информацию по менторингу к себе на сайт: https://ybogomolov.me/mentoring ✨ На текущий момент готов взять 2-3 человек в персональный менторинг, или 4-5 в группу. Старт группы возможен уже в августе, а early birds получат скидку 10%!

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

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

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

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

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

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

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

Подведу небольшие итоги года За этот год, несмотря на все невзгоды и сложности, я продолжил расти как архитектор и разработчик. Получилось так, что я успешно завершил несколько рабочих проектов, и сейчас работаю в звездной команде вместе с инженерами уровня СТО и Associate Principal. Это дало огромный буст, в первую очередь, софт-скиллам и навыкам управления командами. Отдельно хочу публично поблагодарить мою супругу Арину — без ее коучинговой поддержки такой рост был бы просто невозможен ❤️ В плане программирования 2022 также оказался для меня важным: я продолжил работу над личным брендом и менторской программой по функциональному TypeScript. В первом квартале 2023 планирую запускать первый поток, а пока занимаюсь с несколькими студентами в экспериментальном формате индивидуально. Следите за обновлениями — скоро будет много всего интересного! 🙂 С Новым годом! 🎄 P.S. Также подвел итоги года в своем музыкальном канале. Подписывайтесь 😉

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

Ассемблер на системе типов TypeScript. Во-первых, это красиво. Во-вторых, см. во-первых. Чистое искусство, как по мне: https://judehunter.dev/blog/assembly-interpreter-in-typescripts-type-system

https://t.me/Loskirs/1195 — статья о складывании чисел на уровне типов. Применен умный алгоритмический трюк, который позволил обойти ограничение на глубину рекурсии, которое возникает при наивной реализации.

https://alexharri.com/blog/build-schema-language-with-infer — отличный пример того, как надо работать с infer.

Ссылка, которую я теперь буду отправлять всем, кто хочет постигнуть type-level программирование на TS: https://type-level-typescript.com Очень круто, рекомендую так же, как и всем уже знакомый репозиторий https://github.com/type-challenges/type-challenges.

Небольшой апдейт по жизни канала. Те, кто давно подписан на этот канал, возможно, помнят нерегулярную рубрику #музыкальная_пауза. Я решил, что буду писать про музыку, которая вызывает во мне отклик, в отдельном канале, а этот оставить только для тем, связанных с программированием. Подписывайтесь: https://t.me/randommusicilike 🤘🏻

Еще немного тайплевельного программирования — крестики-нолики на типах TypeScript: https://note89.github.io/typescript-typelevel-tic-tac-toe/

В блоге появились комменты! Реализовано это через отличный проект Utterances — они используют механизм GitHub Issues API для ведения комментариев. Подключайтесь к обсуждениям! ;)

Давно не писал ничего, нужно исправлять ситуацию. Опубликовал небольшую статью, рассчитанную на новичков, — разъяснение часто встречающихся терминов в среде ФП-разработчиков: https://ybogomolov.me/fp-jargon-part-1 Это первая статья из небольшого цикла. Кроме того, в работе есть лонгрид (и лонграйт, по правде говоря) на тему корректного и типобезопасного моделирования данных — DDD, make illegal states unrepresentable, тайп-левел, вот это всё. Планирую её до конца квартала всё-таки дописать и опубликовать 🙃 Upd: пересоздал пост, т.к. восстановил комментарии к записям. Пишите, как вам?