> 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 t

> 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/ https://www.hillelwayne.com/post/this-is-how-science-happens...