About 4 years into my career I am really really reaching the end of my rope with Python. Type annotations have improved things a bit, but since it's not real,

About 4 years into my career I am really really reaching the end of my rope with Python. Type annotations have improved things a bit, but since it's not real, or enforced by anything, every library types things differently & often incorrectly, if at all, and the type annotation system itself still has massive limitations. That's not to mention the package management ecosystem. I'm getting into Go and Rust. Go is fine but it would be a million times better if it had proper enums & pattern matching for result & options types. Being able to define a class of errors as an enum in Rust makes handling them so easy. Rust is really cool, but I know I am barely scratching the surface with it and it would be hard to convince any of the Python shops I have worked in to go to Rust due to the learning curve. All the Python shops I have worked have eventually started to write some stuff in Go, except the one shop which is just data/PySpark stuff .