3 ms·
All Roads Lead to Robotics
- turtleyacht 3y agoA computer science curriculum could include feedback control systems and state machines. Not just in a "languages and compiler" context, but considering mutations on state and the idea of "control state," especially now that we have distributed, streaming events and many ways to get timing wrong. Maybe the tooling could be better. Syntax errors are obvious, but coding a state machine there is not much to warn about error states or inconsistencies except stack overflow or stepping through with a debugger. There's also formally validating the model. It would have been neat to have a semester of TLA+ or similar tools.