3 ms·

Fun fact: half of the professional programmers I met in my life don't even try to do anything for floating point precision issues. You are living in your bubbl

Fun fact: half of the professional programmers I met in my life don't even try to do anything for floating point precision issues. You are living in your bubble. The bubble of people who knows what they are doing. Get out, you'll be surprise how much amateurish the world is. Yet it runs.

emodendroket 9y ago
Yes, everything looks like it works, but occasionally it's completely wrong. I don't think just chugging along is desirable in all circumstances. But even if I accept your premise, that just says to me that Python is a good choice for people who don't really know how to program and don't care to learn too much.
KirinDave 9y ago
I'm really not a fan of this argument. No one is arguing for a banishment of the concept of a competency PMF. We're just saying, "If you use these newer techniques and tools and patterns, you get more bang for your buck." The common response is, "But then I have to learn something new." But this is the curse of technology, and pretty much inevitable. Some learning needs to occur because tech changes so fast.
- Turing_Machine 9y ago
  "If you use these newer techniques and tools and patterns, you get more bang for your buck." But you don't, necessarily. Dealing with type wankery takes time. And no, it has nothing to do with "learning something new". Languages that tout "type safety" have been around since at least Pascal (47 years old)... arguably even before that, with some of the Algol variants. Yet they've never made it to mainstream acceptance. It's not even about hype -- Pascal was pushed HARD, by just about every university. Where is it now? Turbo Pascal had a small degree of success, but that's only because it chucked a lot of real Pascal's rigidity out the window.
  - KirinDave 9y ago
    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?

emodendroket 9y ago

Yes, everything looks like it works, but occasionally it's completely wrong. I don't think just chugging along is desirable in all circumstances. But even if I accept your premise, that just says to me that Python is a good choice for people who don't really know how to program and don't care to learn too much.

KirinDave 9y ago

I'm really not a fan of this argument. No one is arguing for a banishment of the concept of a competency PMF. We're just saying, "If you use these newer techniques and tools and patterns, you get more bang for your buck." The common response is, "But then I have to learn something new." But this is the curse of technology, and pretty much inevitable. Some learning needs to occur because tech changes so fast.

Turing_Machine 9y ago
"If you use these newer techniques and tools and patterns, you get more bang for your buck." But you don't, necessarily. Dealing with type wankery takes time. And no, it has nothing to do with "learning something new". Languages that tout "type safety" have been around since at least Pascal (47 years old)... arguably even before that, with some of the Algol variants. Yet they've never made it to mainstream acceptance. It's not even about hype -- Pascal was pushed HARD, by just about every university. Where is it now? Turbo Pascal had a small degree of success, but that's only because it chucked a lot of real Pascal's rigidity out the window.
- KirinDave 9y ago
  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?