Ask HN: What was your static language alternative to Python?

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?