Вложенные состояния в Haskell
Я пытаюсь определить семейство государственных машин с несколько различными типами состояний. В частности, более «сложные» конечные автоматы имеют состояния, которые формируются путем объединения состояний более простых конечных автоматов. (Это похоже на объектно-ориентированную настройку, где объект имеет несколько атрибутов, которые также являются объектами.) Вот упрощенный пример того, чего я хочу достичь. …