Research on this topic is beyond impossible and should be completely disregarded. You cannot possibly attempt to control for variables sufficiently, and I don’t

Research on this topic is beyond impossible and should be completely disregarded. You cannot possibly attempt to control for variables sufficiently, and I don’t think even the most fervent supporters of type systems would argue that they are a dominant factor in code quality and correctness.