зависимые функции, пусть и не супер удобным способом.
Я попробовал вот так вот выразить таблицу переходов через shapeless'ские рекорды:
https://scastie.scala-lang.org/ABj9ex40TZqckHRpeH8rKg
все равно вызов метода. и ты по факту написал почти копию обычного императивного fsm, только зачем-то перегруженного типовой магией
Обсуждают сегодня