​​Виталий Брагилевский опубликовал статью Polyglot Programming Is a Thing в блоге Fleet, а я её прочитал.

Красивое, с картинками. И размышлениями о том, насколько часто приходится жить с несколькими языками программирования в одном проекте. Мне, как человеку, интересующемуся ЯП давно и широко, точно было интересно почитать!

В какой-то момент содержание статьи смещается в сторону того, насколько Fleet хорош как раз в многоязычных проектах — на то и в блоге Fleet статья опубликована. Такой вот образчик developer advocacy, которого Fleet не хватает, как мне кажется. И я рад, что Виталий за это взялся!

Сам-то я в Emacs играюсь с разными языками — он тоже "много с чем как-то да работает". И дальше будет только лучше, ибо LSP в народ пошёл даже среди имаксеров, да и вокруг Tree Sitter потихоньку надстраивают экосистему пакетов.

Однако, поскольку во Fleet сколько-то моего кода всё ещё работает (хочется надеяться), то определённую гордость за функциональность этого продукта и я тоже испытываю!

P.S. Надо будет как-нибудь найти силы и написать о том, какую "весёлую дичь" я во Fleet запилил с пользой для дела и удовольствием для себя. Код буду вспоминать, так что коммерческая тайна не должна пострадать, по идее (хе-хе, косвенное упоминание Idea)

​​Воспользуюсь тем, что меня тут несколько сотен человек хоть иногда почитывает, и спрошу, не нужен ли кому-нибудь кадр вроде меня?

Могу поменторить ваших джунов — питонистов, кложуристов, котлинистов, скалистов. Туториалы напишу для ваших продуктов, ролики обучающие сделаю. Open Source ваш посопровождаю. Иными словами что-то на стыке developer advocate / mentor / tech writer. На фуллтайм не претендую, могу на "пол-ставки". И да, хотелось бы удалённо пользу наносить. Или очно в Ереване.

Лично кого-то поменторить тоже могу, опыт есть и вполне положительный!

Тут потихоньку описываю, что я делал кроме программирования: <https://astynax.me/devrel_cv_ru.html>

P.S. Код читать и отсматривать (Code Review) тоже могу, но пилить фичи для продукта каждый день в режиме эджайла больше не хочется.

P.P.S. В Linkedin пробовал с этим вопросом зайти, но я не умею им пользоваться, как выяснилось.

Буквально сегодня будет интересная трансляция: "Automatic Backend with PostgREST. Xiana + PostgREST shared JWT token". Организатором выступает Flexiana

> Flexiana is a remote-first community, full of open-minded, autonomous craftsmen with a passion for developing software.

В описании мероприятия среди тегов числятся Functional Programming и Clojure — на Clojure/ClojureScript во Flexiana и разрабатывают (хотя на сайте у них "25 languages" упомянуты, в том числе и Haskell). У компании даже микрофреймворк свой есть — тот самый Xiano из названия трансляции, вот его использование в действии и будут демонстрировать.

Мне же лично было забавно увидеть Clojure в одном контексте с PostgREST — этот-то на Haskell написан! Впрочем, PostgREST не требует знания Haskell для использования, как и Hasura — это в чём-то подобный проект, только про "автомагический GraphQL для вашей БД", тоже на Haskell написанный.

Вот такое вот перекрёстное опыление между разными функциональными штуками!

Посмотрел, что там Flexiana делают с PostgREST. Если кратко, то один и тот же JWT используется и в PostgREST и в "обычном" backend на базе Xiana. Когда пользователь входит в систему, этот "обычный backend" подписывает и упаковывает в JWT пользовательские credentials. Далее frontend использует этот токен ещё и для доступа к PostgREST — оба сервиса торчат наружу и проксируются через Nginx. Да, докладчики отметили, что можно было так и не делать, а доступаться к PostgREST только изнутри, но в текущей связке легко пользоваться тем, что предоставляет PostgREST из коробки, например, Swagger spec.

Вообще у ребят эта связка пока что несколько сыровата, как они сами говорят. Скажем, JWT заворачивается и подписывается скриптом на Ruby. Но свою задачу поиметь некоторую дополнительную гибкость в довесок к стандартному набору возможностей PostgREST они решили.

Завтра буду рассказывать про ФП. Да, опять. Для тех, кто уже в теме и за прогрессом следит, ничего нового я не расскажу, конечно. Но аудиторию пользователей этого нашего функционального я расширять намерен и впредь, а для этого нужны и такие новичково-разговорные материалы :) Так что приходите понабрасывать и покритиковать — так только веселее будет!

Мартин Одерски, автор языка Scala, недавно в своём блоге опубликовал статью "Lean Scala". Мол, давайте не переусложнять без нужды и бежим все руководствоваться Principle of Least Power. Это он про Scala написал, напомню :D

Одерски призывает использовать возможности Scala 3, оставаться максимально в привычном синтаксисе синтаксисе (а не плодить DSL на каждый чих), писать иммутабельно, но местами и мутировать невозбранно. "Давайте делать хорошо, а плохо не делать", как говорится. А то, дескать, понаделали своих скал (Cats, ZIO, теперь ещё Kyo) и началось дробление.

При этом сам Мартин носится со своим новым клубочком Caprese, где опять "всё будет по новому и наконец-то правильно"! Вот только это тоже сорт скалы в своём роде и свой вклад в раздробленность внесёт (когда-нибудь). Зато direct style effects, модно-молодёжно (тут забавное введение в понятие direct style, рекомендую).

Мне, как человеку, вхожему в Haskell-тусовку, довольно забавно было читать про Lean Scala потому, что у нас уже есть свой "Boring Haskell Manifesto" — тоже про призывы не усложнять. Очень забавно, что если по ссылке пройти, то в самом начале показывается кнопка "The 'Begin Rust' Book". Майкл Снойман, автор манифеста нынче пропагандирует Rust и FP Complete консультируют по поводу использования этого языка. Но ссылка на книжку по основам Rust на странице Boring Haskell Manifesto выглядит как намёк на то, что Rust это Boring Haskell — и смешно, и в какой-то степени правда :)

А ещё у Haskell когда-то была своя Haskell Platform — "тщательно отобранный" набор пакетов, который ставится скопом и после этого вам эго должно хватать для большинства задач средней сложности. Но в какой-то момент поняли, что от вкусовщины избавиться не выйдет, учить пользователей добавлять зависимости всё равно нужно, а сопровождать такой набор слишком трудозатратно.

И что мы видим в мире Scala? Scala Toolkit, "a set of libraries designed to effectively perform common programming tasks". И скалисты уже полемизируют о том, насколько удачен выбор библиотеки для работы с JSON. Похоже, "опять всё подсмотрели у Haskell" одинаковые идеи приходят и к законодателям мод в экосистемах языков программирования. Мне лично интересно и забавно со стороны наблюдать параллельные прогрессы :P

В TypeScript нынче заметны некоторые ажитации вокруг Effects — это улучшенный вариант скаловского ZIO, которое преподносится как улучшенный вариант хаскельного IO (тут отличный workshop по основам, если что). И вот уже Джон Де Гуз ездит на сходки любителей TS/Effects и рассказывает про то, что Effect is more important than ZIO, а ведь Джон — автор ZIO! Кстати у Effects тоже есть свой direct style (kinda), сделанный на основе сопроцедур/генераторов — прямо как асинхронность в Python, ага, и тут параллели!

P.S. В качестве картинки прикреплю слепок диалога с 4o, которого я попросил сгенерировать картинку в стиле раннего Диснея к статье про Lean Scala. Получилось настолько плохо, что прекрасно! Можно на футболку печатать.

Я в июле опять поеду в Черногорию делать https://coderetreat.me/

Снова про Python буду рассказывать, но в этот раз про фреймворкостроительство: попробуем сделать на базе aiohttp свой FastAPI (скорее даже liitestar) с Dependency Injection на типах! Поднимем завесу автомагии и пощупаем современный околосетевой стек Python поближе к "мясу". Мне, достаточно долго контактировавшему с "наборами композируемых библиотек вместо фреймворков", близки идеи, лежащие в основе экосистемы aiohttp, и будет здорово мыслями поделиться!

По следам прошлого ритрита я заметку так и не написал, но Коля @luchanos, один из слушателей и по совместительству блоггер, грозился вскорости опубликовать свой отчёт в формате видео. Для меня интервью во время подъёма в гору были внове, тоже хочу посмотреть на себя со стороны в такой обстановке :З

В этот раз локация будет другая, но очень надеюсь увидеть хотя бы часть слушателей теперь уже друзей с прошлой смены!

​​На днях я упоминал Lean Scala, а сегодня прочитал статью "12 years of the com.lihaoyi Scala Platform" — тоже вполне интересное чтиво не только для скалистов.

Автор статьи, Li Haoyi известен тем, что написал Ammonite ("REPL на стероидах") для Scala, macropy (синтаксические макросы) для Python. А в этой публикации он пишет о том, как развивалась его собственная домашняя экосистемка для Scala под названием "com.lihaoyi Scala Platform". У Haoyi есть даже книга о разработке на Scala с применением авторского стека: Hands-on Scala Programming.

Начинал своё дело автор давно, в 2012, а тогда мир Скалы был сравнительно дик. Haoyi, по его словам, первые шишки набил о сериализацию объектов в JSON. В этом месте я вспомнил о похожей проблеме в среде Common Lisp — у них всё ещё единого общепринятого решения нет, такова цена свободы :P. В Scala тоже разброд и шатания продолжаются до сих пор. А Haoyi просто взял и написал свой велосипедик uPickle.

За годы существования стек оброс и HTTP-микрофреймворком, и HTTP-клиентом, и обёрткой для работы с OS/FS. Даже "системка" сборки своя есть, называется Mill. И всё такое лёгкое в использовании — это прям камень преткновения для автора, уж очень Haoyi хочет, чтобы было "easy, rather than powerful".

В статье lihaoyi напрямую противопоставляется "Reactive-Async-Actors or Pure-Functional-IO-Monad frameworks". Мол, моя любимая (его, автора) Scala не должна быть только про это! Для того, чтобы язык становился популярнее, надо дать способ писать просто, а не сразу кидаться в крайности — очень перекликается с Lean Scala и в какой-то степени с Boring Haskell :)

Что же, могу автора понять, ему нравится язык, но не нравится курс, которым идут крупные партии пользователей. Такое бывает. К его счастью, стек получился в меру привлекательный и пользовательская база у com-lihaoyi уже есть. У автора 2.5 тысячи подписчиков на GitHub, Li действительно плодовит, так что имеет все шансы продолжить быть маленьким законодателем мод.

Большую часть моей карьеры я кого-то да учил профессии. Даже профессионально этим занимался в Hexlet. Но именно в Hexlet я в какой-то момент очень устал: всё же учить полных новичков при большом потоке оных — это очень энергозатратная задача. Даже в Hexlet мы немного упростили себе жизнь, отдав самые основы на самостоятельное изучение по нашим материалам. Да, настоящие занятия в группе с живым преподавателем это не заменяет, но в масштабах большой школы становится, увы, физически невозможно преподавать самые основы "в живую".

С тех пор, как я из Hexlet ушёл, рынок "школ затаскивания в IT" разросся, но не совсем в ту сторону, которая мне нравится. Уж очень трудно конкурировать с гигантами вроде условного SkillBox. И вдвойне сложнее выживать, если ты хочешь учить небольшие группы, находясь к ученикам ближе, чем "смотрите вебинары, пишите преподавателям в чат". Проще говоря, идейным быть сложно.

Так вот, мои хорошие знакомые (буквально лично всех знаю, кое-кого уже многие годы) сейчас набирают учеников на свои курсы по Python. Да, это реклама, но добровольная и бескорыстная: я действительно считаю, что наличие хорошего преподавателя в непосредственной близости работает. А в том, что ребята знают своё дело, я уверен. И это очень здорово, что сейчас масштаб аудитории на них не давит и есть возможность достаточно времени уделять ученикам.

Собственно, вот само объявление:

Learn Python курсы программирования на Python 3.11 для продолжающих с упором на практику.

Научим писать код, за который не стыдно: аннотированный, покрытый тестами, с правильными структурами данных, с настроенными линтерами и CI. Опытные питонисты, имеющие опыт «боевой» разработки, всю дорогу будут проверять ваш код и давать рекомендации.

Курс стартует в сентябре - до конца июня скидка за раннюю регистрацию по ссылке.

P.S. Если кто захочет обсудить то, что "курсы не нужны" и "Python поймёт любой, достаточно доки почитать" — приходите в комментарии, пофлеймим :Р Моя позиция, если что, такая: курсы действительно работают для многих, а Python в действительно умелых руках — вполне себе хорошее средство для обучения.

Я собрался завтра в настолку играть в её виртуальном представлении внутри Tabletop Simulator. И игровую сессию мы будем стримить. Ретранслирую объявление о мероприятии следом за этим сообщением.

Вообще настолку эту делает мой товарищ Никита Соболев. Проект открытый (Creative Commons), вот тут живёт: https://github.com/sobolevn/ship-it-boardgame Кое у кого даже физические копии уже имеются (у меня пока нету). Тематика у игры айтишно-злободневная, но это всё, что лично я пока про игру знаю 🌚

Опыт трансляции настольных игр для нас нов, так что помимо разбирательств с игрой я предвкушаю всякие технические моментики. Но это ещё сильнее перекликается с тематикой игры 🙈

привет!

в среду 10 июля играем в IT-шную опенсорсную настолку Ship IT в хорошей компании!

в программе:
- душные ITшные шутки
- специальный набор карт для взаимодействия со зрителями
- конкурс на самый смешную шутку в комментариях (приз: физическая настолка!)

участвуют:
- Аня Курносова Pytup: https://t.me/+Bz-uVcXh4Jk1YTNi
- Алексей Пирогов https://github.com/astynax
- Денис Пушкарев https://github.com/zloirock
- Паша Коршиков https://t.me/tech_meetup
- Олег Чирухин https://github.com/olegchir

ведущий: Никита Соболев https://github.com/sobolevn

начало: 19:30 по МСК
ссылка на трансляцию: https://www.youtube.com/watch?v=pR8tQaoOitc
ссылка на игру: https://github.com/sobolevn/ship-it-boardgame

Буду рассказывать про GUI на питоне — дельфист во мне даёт о себе знать. Но либы рассмотрю весёлые и местами дикие внутри. А то про PyQt рассказывать странно, Tkinter всерьёз никто не воспринимает (не я), WxWidgets тоже слишком старые.

Я давно об этой теме думаю, но так пока и не собрался статей понаписать. А тут решил сразу на сцену выйти :) Потом будет проще от чего-то отталкиваться. Может быть даже книжку напишу (нет, потому что устареет мгновенно).

Ну что же, вот мне и 0x28. Число не круглое, так что буду ждать 0x30 или даже 0x40 — там хоть следующий бит переключится 😎

Внезапно через цать минут тут будет около часа разглагольствований на языковые темы. Достоверность фактов не гарантирую, потому что не готовился, как обычно, и вещать буду исключительно по памяти. Или не вещать, а на вопросы отвечать, как пойдёт уж.

https://youtube.com/live/Bck72bhEbgE?feature=share

Кстати, там на канале в streams ещё есть часик про ООП со мной же. Тоже на любителя зрелище :Р

В комментариях к сегодняшней заметке в побочный канал прозвучало, что таки некоторым прям неудобно читать положение часовой стрелки. Интересный инсайт, правда-правда!

Что ещё интересно, так это то, что криптических часов любят понаделать ардуинщики начинающие. Обычно это банальные бинарные часы. Так вот читать таковые страшно неудобно! Я тоже как-то думал сделать свои, чтобы в матовой полупрозрачной коробке были на гибких кабелях "свалены в кучу" светодиоды трёх цветов — единицы часов, десятки минут, единицы минут. Коробку предполагалось встряхивать, а потом считать в уме просвечивающие через корпус точки — чисто арт-объект, а не на каждый день хронометр :)

У часостроительной компании Tokyo Watch тоже всегда в ассортименте полно часов подобного толка — нечитаемых, но нескучно выглядящих. Но легендарные (в моих кругах, по крайней мере) Heko были как раз вполне читаемые — а всё потому, то что светодиоды хоть и выглядели необычно в комбинациях, но по сути стрелки "рисовали"! Я всё ещё без проблем читаю свою реализацию (софтовую, к хардовой доступа сейчас нет), потому что это всё те же стрелки!

​​На днях вернулся со своей второй поездки в Черногорию. Перелёты опять были с приключениями, но в меру волнительными, так что впечатления по итогам от поездки очень положительные!

В этот раз CodeRetreat был сильно более практическим, чем прошлый: мы практически всё время коллективно писали код! Нам не помешали ни отключения электричества, ни проектор из позапрошлого десятилетия, позволяющий оценить качество сглаживания шрифтов максимально наглядно при помощи пикселей с плотностью "три штуки на сантиметр" :) И похайкали мы отлично, конечно же — локация к этому очень располагала. Если подытожить ощущения, то мы и отдохнули хорошо, и мозги перезагрузили и подзарядили! Будем повторять!

В рамках практики мы писали parameter injection для обработчиков запросов в aiohttp: хотелось научиться подсовывать обработчикам кусочки Request Object, если функция-обработчик декларирует формальные аргументы с известными именами и типами. А ещё организовали простенький Dependency Injection, пробрасывающий элементы из глобального хранилища состояния приложения в обработчик — так же через декларирование параметров со специальной аннотацией.

Python взяли версии 3.12, потрогали новый синтаксис для type variables. Паттерны поматчили ещё и даже отдельно поигрались с этой возможностью Python в образовательных целях: оказалось, что не все в принципе с ней знакомы. А потом на митапе Monte Python был доклад про Pattern Matching — интересное совпадение — но у нас пример получился покруче тех, что в докладе мелькали :P

В процессе игры в "откопай аннотации типов в рантайме" пришлось повозиться с тем, что aiohttp использует свой вариант @property, только мемоизирующий да ещё и в виде C-extension, содержимое которого поинтроспектить во время исполнения не выйдет. Пришлось вместо изучения класса Request на предмет пригодных для инжекции свойств захардкодить доступные свойства вместе с типами значений — да, не так красиво, "зато работает".

Когда инжектировали зависимости, надизайнили type aliases красивые, чтобы скрыть оборачивание в Annotated. В процессе пришлось научиться матчить с учётом всех этих слоёв: в Python типы — это значения, и с ними приходится повозиться. Наткнулись на то, что классы, которые реализуют эти самые аннотации и псевдонимы типов — приватные, а значит для нужд pattern matching придётся импортировать эти классы с приглушением линтера.

А потом… мечта разбилась о быт: нету в Python способа указать, что в качестве параметра типа должен выступать строковый литерал! Да, я понимаю, что это уже "значение как тип", то есть хотелка из области зависимых типов. Но попробовать стоило!

В итоге успели не всё, но Proof of Concept вполне удался. Может быть ребята захотят доделать наш прототип до стоящего публикации состояния!

P.S. Осенью есть мысль сделать трек про "Kotlin для людей со стороны", в рамках которого попробовать и Web, и GUI, и мобильщину — по верхам, но широко.

​​СЯУ, что есть такой диалект ClojureScript, как Squint. Компилируется в JS, своих коллекций не имеет, а вместо этого использует имеющиеся в JS структуры, но стандартные функции вроде assoc делают shallow copy — прям как в JS нынче носят (я про сплайсинг вместо деструктивных апдейтов). А для тех, кому прям семантики ClJS хочется, есть Cherry от тех же авторов — компиляторная часть у обоих диалектов общая, отличия в стандартной библиотеке в основном. Google Closure Compiler не использует ни один из диалектов, так что "бинарники" на выходе компактные получаются. Надо будет со Squint поиграться в связке с HTMX: Web Components сделать и через HTMX оными поуправлять.

А ещё, пока тыкался в примеры этого всего, узнал ещё и про Lit, Mithril и прочие штуки из мира JS, про которые я и слыхать не слыхивал. Продолжу и дальше не слышать, хотя Lit как средство подготовки Web Components смотрится неплохо на первый взгляд.

Меня всё ещё во всём этом напрягает необходимость что-то компилировать и вообще пакетами какими-то рулить через npm. Но если уж обмазываться ClojureScript, то Squint и Cherry точно не такие развесистые, как Shadow ClJS. Собственно, одна из особенностей HTMX, которая меня радует, это как раз возможность просто подключить .js-файл из CDN или сервером раздать и ничего не собирать (да, как способ не возиться с сетевой частью и вообще всю логику на сервере держать, HTMX ценен в первую очередь, но и простота подключения важна для меня лично).

А вообще сейчас бы хоть что-то для Web делать, а то я что-то никак не придумаю, на что бы в принципе время потратить… Только на канальчики сил и хватает :Р

P.S. из лиспиков для браузера есть ещё Biwa — эта вообще не требует никакой подготовки кода, вы прямо в теге <script> на Sсheme пишете. Это, как минимум, красиво!

https://www.youtube.com/watch?v=drx9ec0aU3w Вот и запись подъехала, правда только в виде скринкаста под мою болтовню.

Так что кривляний моих не видно — я руками машу интенсивно обычно 🌚 — эта часть развлекательности останется только в памяти тех, кто лично поприсутствовал 😎 UPD: меня становится видно, когда заканчиваются слайды и начинаются вопросики!

Так или иначе, запись иметь всё равно приятно!

Опять в ЧГ поеду в октябре. На этот раз погружать людей в MicroPython и Micro:bit — железки, это интересно, но некоторых пугает порог входа, а я буду пробовать высоту этого порога снизить!

Сам-то я с BBC Micro:bit игрался давно уже, ещё во времена первой версии. А у V2, которую мы будем трогать (а потом каждый свою домой заберёт) уже и динамик есть на борту свой, и микрофон. Можно будет попробовать коммуникацию пересвистом сделать! Планирую ещё в беспроводную сеть попробовать девайсы объединить, чтобы те приветствовали друг-друга, слали "визитки" — так делают иной раз умные бейджи как на DEFCON (это три ссылки на разные посты :Р)!