@helge @maxd @finestructure Yeah, many of the bits of research I was referring to with “empirical results on that are stubbornly inconclusive” are referenced there. There’s also research that claims to find empirical evidence benefit for static types, mostly in bug prevention. But if the case is clear for anyone, that’s taste at work, not evidence.