3 ms·

I am curious what do you think when you see some JavaScript developers moving to Typescript or talks about Ruby 3 having types?

• mr_toad 8y ago
  Types errors represent such a small class of errors. It’s just puzzling to see what all the hype is about.
  • adamnemecek 8y ago
    Nope, all computation is representable in terms of types. https://en.wikipedia.org/wiki/Curry–Howard_correspondence https://en.wikipedia.org/wiki/Curry–Howard_correspondence
    • coldtea 8y ago
      Which is neither here nor there, as a contrived case. In actual languages people us e(e.g. that have more than 2% of the job market), type errors caught by the compiler don't catch "all computation" errors. Not even in Haskell...
  • sytelus 8y ago
    In large sized projects, one of the most frequent activities you do is refactoring. For every refactoring, type errors often constitutes the largest class of errors by volume during initial development phases.
    • coldtea 8y ago
      Then again, a language like Python keeps projects smaller, by not taking 100 lines to do what you can do in 10.