News for hackers. Stuff that matters.
Re:Rust is mostly safety by rkrzr on Thursday December 29, 2016 @12:16PM (#13278496)
Sure, not all type systems are created equal. And there are indeed type systems that can catch more errors than Haskell's (although that usually comes at the price of losing type inference).

But I read OP's point as "Well, you can never catch all programming errors with PL_feature_X, so why even bother." And my point is simply that a lot of PL features make formerly hard things easy and thus allow you to go faster and focus on more interesting things.

Re:Rust is mostly safety by braveo on Thursday December 29, 2016 @01:36PM (#13279061)
You completely misunderstood what he was trying to tell you.
Re:Rust is mostly safety by msbarnett on Thursday December 29, 2016 @02:07PM (#13279258)
There was nothing interesting in what he was trying to say.

Yes, no programming language perfectly eliminates all classes of unsafety. But that's no reason to let the perfect be the enemy of the good! "The issue with safety is..." no issue at all. Being safe in a bunch of problem domains (Rust) is still strictly better than being safe in very few if any of them (C).

Re:Rust is mostly safety by braveo on Thursday December 29, 2016 @10:24PM (#13282263)
So you did it on purpose. That just makes you a bad actor in the conversation.
Re:Rust is mostly safety by msbarnett on Thursday December 29, 2016 @11:43PM (#13282572)
I am not whoever you imagine you're responding to (rkrzr, I guess)
Re:Rust is mostly safety by jibalt on Sunday January 08, 2017 @09:00PM (#13353426)
No, that's you.