3 ms·

The Rust Core Team is neither ignorant nor stupid. Furthermore you can't find one of them that doesn't know both Haskell and Idris well I more than suspect at t

The Rust Core Team is neither ignorant nor stupid. Furthermore you can't find one of them that doesn't know both Haskell and Idris well I more than suspect at this stage in the proceedings. They are completely aware of the necessity of separating effects from computations if one truly wanted to create a "safe" programming language that was in the critical path of the mainstream. Actually doing this is a fairly high bar modulu all the memory-safety nonsense in the talking points deck. It would create roughly no people who had a low-friction migration path from TypeScript to Rust, which is diametrically opposed to having a menacing mob at ones disposal. Rust is halfway between the polar points articulated by Paul Graham: it's neither designed for it's serious users (though they pretend to like it) nor it's audience who it openly condescends to. As for the scary effects of having a programming language committee control more votes than 4chan on internet forums in general: yeah I don't know how that's going to play, but I'm pretty sure I'm not going to like it.

mwcampbell 4y ago
> It would create roughly no people who had a low-friction migration path from TypeScript to Rust, which is diametrically opposed to having a menacing mob at ones disposal. Having a low-friction migration path from TypeScript also enables more programmers to write reliable, efficient software. I hope that the number of programmers quietly doing this will grow to eclipse the number posting to forums. We must not get so caught up in forum drama that we forget that increasing the quantity of good software in the world is what's most important.
- benreesman 4y ago
  I hope that those of us who sold our souls for money while knowing full well the history around Therac-25 aren’t eclipsed by a generation who gave even more for a friggin badge on Reddit.
  - sealeck 4y ago
    Rewriting TypeScript code in Rust (or writing what would have been TypeScript in Rust instead) is in no way morally analagous to Therac-25. This is the kind of claim that Haskell programmers make on the basis that they believe Haskell prevents faults (providing no specific evidence - in contrast to Rust, which draws on numerous data showing that memory safety is a serious concern) in computer software. The core problem in Therac-25 was exactly this - the programmers thought they were very good at writing software (when they were not) and decided to remove the hardware safety restrictions (which they should have not done, even if they were really good computer programmers). It wasn't about type systems, it was about hubris and real-world hardware.

mwcampbell 4y ago

> It would create roughly no people who had a low-friction migration path from TypeScript to Rust, which is diametrically opposed to having a menacing mob at ones disposal. Having a low-friction migration path from TypeScript also enables more programmers to write reliable, efficient software. I hope that the number of programmers quietly doing this will grow to eclipse the number posting to forums. We must not get so caught up in forum drama that we forget that increasing the quantity of good software in the world is what's most important.

benreesman 4y ago
I hope that those of us who sold our souls for money while knowing full well the history around Therac-25 aren’t eclipsed by a generation who gave even more for a friggin badge on Reddit.
- sealeck 4y ago
  Rewriting TypeScript code in Rust (or writing what would have been TypeScript in Rust instead) is in no way morally analagous to Therac-25. This is the kind of claim that Haskell programmers make on the basis that they believe Haskell prevents faults (providing no specific evidence - in contrast to Rust, which draws on numerous data showing that memory safety is a serious concern) in computer software. The core problem in Therac-25 was exactly this - the programmers thought they were very good at writing software (when they were not) and decided to remove the hardware safety restrictions (which they should have not done, even if they were really good computer programmers). It wasn't about type systems, it was about hubris and real-world hardware.