I would love to know if there's studies out there that demonstrates any relationship between programming languages and business metrics.

The closest I found was a blog post [0] that implies that Ruby and Python were the most prominent languages among the most valuable startups from YC. Those are distinctly not languages that lend themselves to type-checking.

[0] https://charliereese.ca/y-combinator-top-50-software-startup...