Migrating to a typed language

Adding static types is widely assumed to improve maintainability, which is easier to assert than to demonstrate. We are tracking open-source projects across their migrations to see which strategies teams really use, how much untyped code they keep, and what measurably happens to code quality afterwards.