(
хотя вообще-то да, вру
Size: a a a
2020 February 05
M
Или просто хорошие материалы о том, как писать конечные автоматы
Посмотри определение, тогда и гайд никакой не нужен будет
(
Надёжную фсм можно напилить на силед-классе
АЕ
Я знаю матчасть, спрашиваю ради обмена опытом)
(
а-ля
sealed class FanState {
object Off : FanState() { fun turnOn() = FanState.On }
object On : FanState() { fun turnOff() = FanState.Off }
}(
Но как бы удачи делать что-то сложнее и тем более расширять
AP
я делал через FSM, получилось хорошо. Вопрос в том получится ли реализовать на FSM, не слишком ли сложный сервис
что такое FSM?
АЕ
попробую, поищу, поделюсь
(
что такое FSM?
Finite State Machine
(
типа даже у меня в мвиае в паре мест прямо в редьюсере есть
throw IllegalStateException, потому что там эмпирическая зависимость данных и гарантия, что при данном стейте данная мутация не может прийтиАЕ
что такое FSM?
конечный автомат, finite state machine, гуглится же)
AP
Finite State Machine
ага, гуглится
(
Её можно было бы сделать формальной и статически надёжной, если бы в котлине были завтипы, опять же
АЕ
за статической надёжностью не гонюсь, достаточно простоты юнит-тестирования
(
Тогда это просто мвиай, оторванный от юая, берите силед класс (можно туда конечно и данные пихать, но тогда получится Transition System, которая при некоторой степени формализма всё равно сводится к FSM), силед класс для переходов и функция которая применяет одну к другому
(
(S, M) -> S(
Получится чистейшая машина Мура
AS
за статической надёжностью не гонюсь, достаточно простоты юнит-тестирования
Для FSM знаю одну либку, https://github.com/Tinder/StateMachine, может то что надо
АЕ
Тогда это просто мвиай, оторванный от юая, берите силед класс (можно туда конечно и данные пихать, но тогда получится Transition System, которая при некоторой степени формализма всё равно сводится к FSM), силед класс для переходов и функция которая применяет одну к другому
Да, тоже в ту сторону думал.
AD
за статической надёжностью не гонюсь, достаточно простоты юнит-тестирования