Rust is a nice choice even just for its amazing sum types and the ability to make impossible states unrepresentable at the type level.