> This paper presents an empirical study with 49 subjects that studies the impact of a static type system for the development of a parser over 27 hours working time.
There are some studies like that, but there are others as well.
And remember that all these studies were trying to find a positive effect, but failed to do so.
But I am wiling to have my mind changed. I would be really interested in seeing a study that failed to find a benefit of type systems for refactoring tasks in large projects. The example I posted in my initial comment seems pretty open-and-shut to me, so I'm curious.
That turns out not to be the case.
> I would be really interested in seeing a study that failed to find a benefit of type systems for refactoring tasks in large projects.
You're inverting the burden of proof here. People who claim that something is beneficial are the ones who have to show that it is.
Making a claim and then shouting "prove me wrong!" is not how science works. Not even computer science.