[leshow]

Rust has a great type system that enables the kinds of things you're talking about. It's like c++ and haskell came together and had a baby.