Третий тред по автоматному программированию. Поговорим про бекенд на разных языках. Ситуации, связь с базой, готовые либы и применимость. Ретвиты приветствуются! Вопрос: Используется ли в вашем проекте либа для автоматов?
Краткий пересказ прошлых частей. Автоматы есть всегда, главное их увидеть и заменить флаги на явно выделенное состояние. А в бекенде еще и автоматизировать работу с ними. Как?
Независимо от выбранного стека, состояние практического любого проекта отражается на базу данных. Заводятся либо флаги, либо поле state/status куда записывается название текущего состояния. В отличии от фронтенда, с автоматами в беке надо быть гораздо более аккуратными
То что флаги, как правило, зло, мы уже выяснили, но в бекенде еще накладывается то, что все хранится в базе. Предположим что у нас публикация постов на хабре и мы используем флаг published в базе данных. Все будет работать до тех пор пока мы не введем третье состояние draft.
Неправильный путь – добавлять еще один флаг. Правильный менять published на поле state строкового типа. Но это база данных, менять тип поля в любом живом проекте это тяжело, а иногда тупо невозможно. Теряется обратная совместимость (пока zero down deploy). Мы попадаем в ловушку
На практике получается, что, даже, если автомат состоит из двух состояний, в подавляющем большинстве случаев стоит завязываться на строковое поле в базе данных. Тогда мы получаем бесплатную расширяемость и, что важно, код от этого не станет сложнее, даже местами проще (i18n)
Во фронтенде использование спец либ для автоматов оправдано только в сложных ситуациях, но в бекенде все по другому. Хорошие библиотеки просты в использовании и, самое главное, дают нам множество офигенных плюшек. Расскажу на примере рубишного автомата github.com/aasm/aasm
Само описание автомата. Оно позволяет понять, а что собственно происходит и какие возможны варианты. Это натурально живая документация. Фактически открыв модель и прочитав ее автоматы, можно без доки понять какие процессы есть в приложении и как они функционируют. 
А библиотека гарантирует ограничения, что мы перейдем только в то состояние, в которое можно перейти. Более того, она генерирует все необходимые методы переходов и проверки. Мы не пишем ничего сами! Причем подобные библиотеки позволяют повесить доп ограничения на переходы
Здесь нужно сказать что в автоматах нельзя менять стейт напрямую, это противоречит самой идее. Переходы в (событийном) автомате происходят только по событиям, которые уже знают в какой стейт нужно перейти. Только в этом случае библиотеки могут что-то гарантировать. Плюс фишки
Главная фишка это события. Можно вешать обработчики на переходы без ручных проверок стейтов. Например отправлять письмо автору о том что его статья успешно прошла модерацию.
И все это напрямую связано с ORM. То есть оно автоматически встраивается в save модели, валидируется и записывается в базу. Подключение подобного автомата занимает просто минуту времени. Поэтому в прокаченном бекенде использование либы лучше чем не использование.
В исходном коде Хекслета на бекенде около 100 явных автоматов. В одном пользователе их около 5 штук. Например есть автомат по синхронизации емейла пользователя с емейлом в Stripe (биллинг). А вот пример из ru.code-basics.com github.com/hexlet-basics/… Посмотрите как просто
Теперь по языкам, кто что нам предлагает. Таких автоматов как в руби мы вряд ли найдем (в руби прямо мега интеграция), но все же. Java, там автоматы есть прямо в спринге и многие про это не знают: spring.io/projects/sprin… интеграции с базой из коробки нет, но есть много другого
В PHP зависит от фреймворка. Symfony: из коробки symfony.com/doc/current/wo… Laravel: куча доп либ github.com/spatie/laravel…
В Python github.com/pytransitions/… В Django github.com/viewflow/djang…
Оу в PHP без фреймворков: github.com/yohang/Finite
Node.js github.com/jakesgordon/ja… почему-то не обновлялась давно(
За бортом остались зависимые автоматы, обработка в формах (можно подсмотреть в нашем опенсорсе), историчность, конкурентность, и куча других классных штук)
Обо всех этих вещах приглашаю поговорить в нашем комьюнити slack-ru.hexlet.io (больше 21 тысячи человек на секундочку!)
• • •
Missing some Tweet in this thread? You can try to
force a refresh
