[jshen]

Agree, but the question for me is whether it is clear that it’s better at organizational scale over decades. I think it is, but not hugely so.

Edit: I should add that I think there are a ton of things that are far more important for a high performing dev team than types.