This seems like an interesting idea for microcontrollers, where you're often wrestling with state and concurrency.

I'm guessing it's too heavyweight, though.