undefined | Better HN

0 pointsrkrzr9y ago0 comments

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.

0 comments

3 comments · 1 top-level

braveo9y ago· 2 in thread

You completely misunderstood what he was trying to tell you.

msbarnett9y ago

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).

braveo9y ago

So you did it on purpose. That just makes you a bad actor in the conversation.

2 more replies

j / k navigate · click thread line to collapse