https://lichess.org/@/thibault/blog/lichess--scala-3/y1sbYzJX

As with every refactoring or migration, the success and speed are largely due to static typing and compiler quality.

Couldn't agree more (except, testing isn't getting much love in that quote)

Not the exact same thing but switching to static type check in Python has definitely improved my code quality. I also use lot of pydantic class for any/all data models in python.