[fulafel]

The usual things that are brought up in this kind of HN thread are that studies don't show an advantage in delivered software, and tradeoffs / limitations of type systems are bad tradeoffs, and the vast majority of things caught by static type systems are trivial errors that are easily caught anyway, and that these days a lot of interfaces are APIs between systems that the static type systems don't cover anyway.

Thanks for the interesting sounding talk link. It's "Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen" from ClojureTV, for those who rarely click on youtube links. Mathias Felleisen a well known Racket guy, author of How to Design Programs, etc.