It's fun and easy to express state machines in Rust, as this article clearly shows. Wouldn't be that much fun in Go, innit?

Using type system for ensuring correctness of the state machines is a good idea. I should do that...

This article has two sequels.