Apparently nobody can prove type systems are more productive, or point at studies showing a benefit... And still, everybody agrees, according to the down votes

Apparently nobody can prove type systems are more productive, or point at studies showing a benefit... And still, everybody agrees, according to the down votes. That is frustrating!