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

по факту ещё как берут такое в прод)

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

Есть кто перешел с 16ки на m1 8gb оперативки, как она? Для разработки норм или оперативки мало?

и альтернатива этому - не спагетти из ифов, а эффективные абстракции

интересно как без документирования возможных состояний?

да так же, как и ты:)

даже в твоем примере с ребутом, очевидно, перечислены не все возможные состояния

у меня есть состояние unknown для ситуаций когда приходит что-то о чем я не знаю

поэтому перечисление состояний - только иллюзия управляемостии

https://twitter.com/Boris/status/1360208504544444417
прекрасное (тред)

ты же понимаешь почему называется FSM, а ASM? потому что finite, кол-во состояний конечно в рамках твоей абстракции

ха-ха-ха-ха (истерически смеется)

Ну всё-таки мы не работает с реальным миром, мы работаем с его приближенной дискретной моделью. Чем ближе ты к реальному миру, тем жестче требования к модели. Из моего опыта - если твой код управляет дыханием человека под наркозом, ты не можешь сказать “я смоделировал поведение модели 10000 раз и ничего не сломалось, поэтому норм”. Тебе надо доказательство того что твоя модель не теряет связь с реальным миром, не приходит в терминальное состояние ни при каких обстоятельствах. Если ты проектируешь условно генератор прикольных котиков для телеграм канала, то в принципе, похуй на архитектуру и можно итерировать пока все это не перестанет отъебывать в продакшене

https://www.bloomberg.com/features/2021-supermicro/ бам
блумберг спустя 2+ года снова супермикро сливает

то, что эппл и амазон 2 года назад публично говорили что “ничего не было”, не адресуется никак, кроме как “это всё мелкий фрагмент БОЛЬШОЙ КАРТИНЫ”

на пикче расизм, китайцы красные

ну не желтые же

стейтмашина этот как раз способ систематизировать эти знания

я кстати один не могу никогда распарсить выражение "конечный автомат"?

и ещё раз, нет смысле расписывать всю модель полностью со взаимодействием - декомпозиция решает. А то так можно дойти до моделирования поведения кубера )))