The effect of type systems is probably not that big. Otherwise the proponents of type systems would have had an easy time proving it.