4 ms·
I think you're responding to an argument I didn't make. You claimed "Type bugs just aren't that painful". Haskell allows you to make all sorts of bugs into ty
by tome 9y ago
I think you're responding to an argument I didn't make.
You claimed "Type bugs just aren't that painful". Haskell allows you to make all sorts of bugs into type bugs, from SQL well-formedness, through certain concurrency guarantees, to guarantees that your HTTP routing is correct. So yes, type bugs can be very painful, and that's a good thing!
- dllthomas 9y ago"All sorts" in a colloquial sense of "very many". Not literally all sorts.
- tome 9y agoYeah, good clarification, thanks!
- gnaritas 9y agoUsing Haskell is more painful than any type bugs it might help fix, no thanks. One can write correct code without a type system to guarantee it for them, we're fine doing this rather than dealing with said pain in the ass type system. Haskell is not my idea of a good programming language, it's not what I want from a programming language, it's not conducive to how I want to program. It's an esoteric language for a reason, few people like it and it'll likely remain that way.
- tome 9y agoOK, if that's your opinion then fine. I just wanted to challenge your claim "type bugs just aren't that painful". On the contrary, they can be and should be!
- gnaritas 9y agoYou can't challenge a claim about how I feel about something, if I say something doesn't hurt, nothing you can say will convince me it does. Pain is subjective, keep that in mind when trying to tell others how they feel about something.