Amazed at how well this works really.pic.twitter.com/h55RuLdmya
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
What you have there is essentially an instance of the “session types” pattern in Rust: https://munksgaard.me/papers/laumann-munksgaard-larsen.pdf … https://github.com/Munksgaard/session-types … It’s nice for modeling DFAs, but insufficient for NFAs.
I'm not familiar with the terms DFA and NFA; can you elaborate?
Hey, we use this type state pattern for representing hardware states to ensure you can only access methods when the hardware is correctly configured! https://rust-embedded.github.io/book/static-guarantees/design-contracts.html …
I'll hit you with the down side: things get gnarly when you try to make state changes on runtime information: e.g. change the light color to red if the user types 'y', or green if the user presses 'n'. Awesome for "builder pattern" style state machines though!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.