Taming UI complexity with Typed State Machines
summary
Claim: TypeScript types can enforce transitions at compile time so illegal FSM moves fail to compile. Demonstration builds a proof‑of‑concept type-machine library that encodes per‑state models and transition payloads and refuses invalid events, compares behavior to XState and Redux, and ships adapters for React/Vue/KOA plus CLI examples. Implementation compiles and demos run, is open source and useful for prototypes but is explicitly not production‑ready.
AI-written summary · about
chapters (9)
- 0:00Intro
- 0:53Who am I
- 2:06What are state machines
- 4:30JavaScript implementations
- 6:07Data model
- 8:36Model by state
- 10:09Restricting transitions
- 12:05Type Machine
- 17:55Conclusion
related talks
25mMastering UIs with Finite State Machines
46mFinite-state machines? Your compiler wants in!
45mState of the Art User Interfaces with State Machines
09mA State Machine walks into a Svelte Component
28mState machines for frontend state management
44mFinite state machines
30mMastering UIs with Finite State Machines
27mXState: the Visual Future of State Management