5 ms·
Types have always been a hard sell for me. I honestly never have issues with types being wrong when I write code, and I understand that this is missing the poin
by ohyes 3y ago
Types have always been a hard sell for me. I honestly never have issues with types being wrong when I write code, and I understand that this is missing the point. The point is that the types define a very concrete interface and we know up front when the interfaces break, and can statically check that the interface is correct everywhere.
I feel that mathematical types are so far distant from the type system of something like C or C++ that the term foot guns itself somewhat.
- hinkley 3y agoI've worked with too many people who insist there's nothing wrong with the way they are coding, while I've had conversations with 4 different people who have gotten tired of having to clean up after them. I can't take anyone's word anymore that a tool is useless because they don't need it. We as humans need tons of things we pretend that we don't. It's positively pathological.
- ohyes 3y agoYeah I don’t think that my point was that I don’t need types, but more closer to yours that I’ll never really have an objective way to know if I need types.