3 ms·

So... Can you clarify this? "Pascal is no longer popular. Pascal had a static type system. Therefore, static typing has failed?" If so, I counter: the last 3

So... Can you clarify this? "Pascal is no longer popular. Pascal had a static type system. Therefore, static typing has failed?" If so, I counter: the last 3 years have been a series of breakthroughs both in terms of technology and social acceptance of typed programming. TypeScript is the rapidly growing language, Haskell's never been more boring to use, Scala's edging out Clojure even though it has very fragmented community leadership. C++ has adopted a lot of powerful new features and you're seeing functional programmers speaking at C++ conferences because the folks there can use it. Java has more capable and composable lambdas than Python. Systems not using these techniques are plagued by security flaws, while those that are work on stabilizing performance under various workloads. It's never been a better time to be using a strong, static type system..

Turing_Machine 9y ago
"Can you clarify this? "Pascal is no longer popular. Pascal had a static type system. Therefore, static typing has failed?"" I would make it "Pascal was never popular", but yes. "If so, I counter: the last 3 years have been a series of breakthroughs both in terms of technology and social acceptance of typed programming." 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. 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.
- KirinDave 9y ago
  > 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?

Turing_Machine 9y ago

"Can you clarify this? "Pascal is no longer popular. Pascal had a static type system. Therefore, static typing has failed?"" I would make it "Pascal was never popular", but yes. "If so, I counter: the last 3 years have been a series of breakthroughs both in terms of technology and social acceptance of typed programming." 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. 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.

KirinDave 9y ago
> 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?