State And Time Are The Same Thing
- Hillel Wayne tl;dr: “Some function programmers stay "shared mutable state is the enemy". I think it's more like "time is the enemy", and time represents itself as mutable state. If a state update is purely internal and cannot affect the observable state, then it does not advance time. I find this a good model to reason about abstract systems.”featured in #547
State Machines Are Wonderful Tools
- Chris Wellons tl;dr: State machine are fun to design and implement, they (1) have tidy interfaces, (2) require few resources, (3) hold no opinions about input and output (4) have a concise implementation (5) are easy to reason about. There are many practical examples (traffic lights, regex). Chris runs through an example.featured in #222