On the topic of state-machines, there are some really cool typed libraries out there. The ones that stand out are motor[0] for Haskell and ST[1] for Idris. [0]

On the topic of state-machines, there are some really cool typed libraries out there. The ones that stand out are motor[0] for Haskell and ST[1] for Idris. [0]: https://hackage.haskell.org/package/motor https://hackage.haskell.org/package/motor [1]: http://docs.idris-lang.org/en/latest/st/state.html http://docs.idris-lang.org/en/latest/st/state.html