[LoganDark]

> It helps that I love compiler errors and Rust is full of them :D Every error the compiler catches is an error my QA/users don't

amen! I despise Python even though I used to love it, and that's because it's full of runtime errors and unchecked exceptions. The very instant I learned more strongly typed languages, I decided never to go back.

[zelphirkalt]

And then comes the point, where you get a scenario, which is actually, you'd think, at least, something simple, but then gets really tough to express in strongly, statically typed languages, and you might take a step back and consider for a moment, how simple it would be to express this in a language like Python, while still being memory safe.

Statically typing things is great, and I enjoy it too, when it is practical, but I don't enjoy it, when it becomes more complicated than the actual thing I want to express, due to how the type system of that particular language or third party tool (in Python) works.

[LoganDark]

I find it fun to statically prove correctness of difficult problems. To each their own, though, of course.

[germandiago]

Python properly paired with typing is very competent IMHO.

[mring33621]

I would like to learn how to do this well!

[germandiago]

Well, the ideal is to install mypy and have a linter in your editor/IDE. It will immediately highlight lots of things for you.

[LoganDark]

mypyc is also fun