Our python code base in the company I work for is growing and we're already feeling the pain of dynamic typing (some ImportErrors, changing function signatures, dicts, unpredictability, etc) as we’re adding more junior devs. We already have mypy, good test coverage and refactored large parts to use static objects (classes instead of dicts) and that improved things, but it seems like we're spending more time on things that we should be getting for free in a static language. If you’ve migrated your codebase from python to static for similar reasons, which language and why?
Could you elaborate on what you believe you'd get for free in a static language compared to type-annotated and -checked Python? I'm curious as I'm in a similar situation, but not in a company, but as a researcher.