3 ms·
> As far as I know we don't have decades of research about the improvements in productivity and correctness brought by static type systems. I seem to recall at
by Yoric 1y ago
> As far as I know we don't have decades of research about the improvements in productivity and correctness brought by static type systems.
I seem to recall at least some research dating back to the 90s on the topic, which showed how much better (by some metric I can't remember) Ada was wrt most other languages of the time.