3 ms·
State machines don’t need to be runtime programs. They can be expressed exactly using a static type system - that’s kind of exact the proposition of them.
by heavenlyblue 7y ago
State machines don’t need to be runtime programs.
They can be expressed exactly using a static type system - that’s kind of exact the proposition of them.