Formal Forms with State Machines
summary
Forms become deterministic when modeled as statecharts that expose explicit transitions, guards, context and effects rather than ad‑hoc handlers. The talk demonstrates a concrete implementation: XState with an useMachine hook, returning next state plus declarative effects, invoking cancellable promises, visualizing machines, and composing hierarchical and orthogonal states to avoid state explosion. Examples include a wizard with async validation, a tiny finite‑machine bundle, Redux DevTools integration, actors and observable support in XState 4.6.
AI-written summary · about
chapters (7)
- 0:00Start
- 2:36Redux
- 13:48Date pickers are state machines.
- 17:50The Effect Reducer
- 18:19When do effects happen?
- 23:52State Explosion Problem
- 25:39Hierarchical states
related talks
27mXState: the Visual Future of State Management
31mXState: the Visual Future of State Management
20mSetState, We Need to Talk!
34mState Machines Meet React Hooks
28msetState Machine
38mInto the Visual World of State Machines
37mState Machine: What It Is and Why
42mTackle React component complexity using Reactive Statecharts