I found this blog post on HN some time this year, and refer to it frequently: https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity.html

I found this blog post on HN some time this year, and refer to it frequently: https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity.html https://hirrolot.github.io/posts/why-static-languages-suffer... The key thing the author identifies is the two languages problem. Static types are a second program about the program, and that's great when the second program is simple declarations that keep you from passing one struct when another is expected. But a flexible language needs more than that, and generics end up either Turing Complete or bad in some other way. I'll be mulling this one over in years to come.