Thread by @mokevnin

И так поехали тред про конечные автоматы (fsm, state machines). Одной из ключевых тем в разработке софта касающуюся всех программистов без исключения. Будет много примеров для разных языков. После этого треда вы, вероятно, увидите мир другими глазами. Лайк, шер, алишер, погнали!

Существует заблуждение что автоматы это что-то, из математики, не имеющее отношение к реальной жизни. Их используют в лексическом анализе для написания парсеров. Многие помнят лабы на си, где нужно было разбирать строчку. Да это тоже автоматы, но совсем другие.

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

Простой пример автомата – регистрация пользователя. Что это значит? Регистрация пользователя, подразумевает наличие разных состояний. Обычно, после регистрации он должен подтвердить емейл, после чего появляются доступы. Кроме того пользователь может быть забанен и удален.

Наш процесс регистрации распадается на независимые состояния, через которые проходит пользователь. Этих состояний конечное число и каждое из них влияет на то что может делать пользователь и что с ним происходит. Например: created, activated, banned, removed и т.п.

И эти состояния не универсальны для любой регистрации. Имена состояний, их количество и влияние на систему зависит от бизнес-требований. Где-то в автомате регистрации может быть два состояния (ожидает подтверждения почты и подтвержденный), а где-то 10. Но суть остается той же

Но состояния это только половина дела. Дальше появляются переходы (transition). Переход по состояниям не происходят просто так, мы их программируем. Например если человек подтверждает почту, то мы не просто переводим его в состояние confirmed (или activated), но и шлем письмо

Фактически конечный автомат моделирует бизнес-процесс и выглядит как постановка задачи, а что собственно требуется сделать. В UML существует для этого спец диаграмма, которая так и называется "диаграмма состояний" (хм, не смог найти регистрацию в гугле) sparxsystems.com/resources/gall…

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

Что еще интереснее, такое описание интуитивно понятно всем (особенно если разобраться с терминами) и оно существует независимо от программирования. То есть автоматы вокруг нас везде не важно знаем мы про это или нет. И главное, это самый простой способ описать дискретные процессы

Накидаю еще кучку примеров автоматов: http-запрос, оформление заказа, вединговые-аппараты, визарды, игры (сплошные автоматы), обработка задач, открыта/закрыта модалка, процесс блокировки телефона, документооборот

Еще: процессы в операционной системе, промисы внутри да и вообще любая асинхронность, event loop ни что иное как автомат (собственно nginx это автомат), валидная/не валидная форма, логика работы банкомата и так далее. Все что нас окружает описывается автоматами!

Документация reduxjs/toolkit: redux.js.org/style-guide/st…

treat reducers as "state machines", where the combination of both the current state and the dispatched action determines whether a new state value is actually calculated, not just the action itself unconditionally.

Она же: redux.js.org/tutorials/esse…

Loading State for Requests#
When we make an API call, we can view its progress as a small state machine that can be in one of four possible states: 'idle' | 'loading' | 'succeeded' | 'failed'

Главный поинт на текущий момент, что независимо от кода, нужно уметь видеть процессы с которыми вы работаете и раскладывать их на состояния (как минимум в голове), в которые можно попасть только по определенным путям. Это лучший способ понимать системы с самой верхней точки

Минутка рекламы перед второй частью (почти как в телевизоре): нам нужны наставники/преподаватели/авторы курсов. Если вы сечете фишку, то мы вас ждем notion.so/hexlet/c6406ed… 🤓

Давайте даже так. Следующую часть я расскажу в другой день, просто для того чтобы собрать фидбек по рассказанному. Что вам еще накидать добавить? И пока не забыл, вот тут есть книга по автоматам, очень классная и не напряжная: ru.hexlet.io/pages/recommen…

И для затравки на следующий тред покажу код реального автомата в коде одного из наших проектов: github.com/hexlet-basics/… Код хоть и на руби, но кристально понятен для всех