I’m not an expert on the Typscript language. However, in recent years, when I have thought about these sorts of issues, I believe that a key characteristics of Typescript – a) the ability to add increasing type restrictions over the lifetime of the project, and b) minimal changes to the syntax of existing code as orthogonal typing is developed are key allies for the temporal efficiency of the large scale development process. In a similar line of thought, one may consider incremental development of unit/regression test harnesses as an aid to machine works. When large numbers of people are working in parallel, the incremental automaticity of enforcing design conceptions/rules may provide extra help.