Because the studies are constructed by equally fallible humans, and almost always badly. Cold shower attempted, but the plumbing was busted? Such studies inva

Because the studies are constructed by equally fallible humans, and almost always badly. Cold shower attempted, but the plumbing was busted? Such studies invariably wholly miss the point: when you have a language with powerful type support, error checking is the least valuable work you get out of them. Types do serious heavy lifting expressing semantics.