> Don't we have decades of research about the improvements in productivity and correctness brought by static type checking?

It seems messy. Just one example that I remember because it was on HN before: https://www.hillelwayne.com/post/this-is-how-science-happens...