> I would make it "Pascal was never popular", but yes. Then why... why bring it up? Should I discount all of dynamic typing because Io and Pike never took off?

> I would make it "Pascal was never popular", but yes. Then why... why bring it up? Should I discount all of dynamic typing because Io and Pike never took off? C++ did stick around, Oak became Java. APL is still in active use. > This isn't the first rodeo for many of us. "Compile-type static type checking will solve all of our problems" is an idea that's come around repeatedly. Outside of a few niche applications, it never works, or even catches. "It never works" is a pretty bold claim given that the majority of code you interact with on a daily basis has SOME sort of type system. I'd say C++ is better endowed than most in this dimension. > As for the supposed booming popularity of TypesScript... dude, TypeScript doesn't even make the top 30 on GitHub. It's less popular than assembly language and Visual Basic. My dude it would be extremely suspicious if it did. Instead, look at the growth stats: https://octoverse.github.com/ https://octoverse.github.com/. It's the fastest growing language that has non-trivial presence on github (and of course, that's the correct way to phrase it, a new language appearing can appear to have quadruple-digit growth percentile). This seems profoundly disingenuous. Is that your intent?