TBF that’s a pretty dynamic notion so usually the linearisation would be on the car’s state machine transitioning at runtime. However you would not be able to keep a reference to the old “car stopped” state which is very valuable still.
-
-
A mutex? To be clear my understanding is encoding states as independent linear types & transitions as conversions. And I think that’s an awesome pattern I’ve been really excited by since I discovered it… in rust so idris might have capabilities which allow more flexible use.
-
I’ve never managed to apply it to more complex bits, a linear enum but dynamic SM always worked better though again I might be missing things
- 6 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.