4 ms·

Maybe better titled "Type-checked explicit state" ..."?

• davidkpiano 9y ago
  I thought this article was about finite state machines at first!
• mrbbk 9y ago
  Maybe! But I liked separating it from type-checking for the sake of the title.