4 ms·
Yeah, I don’t find those points very convincing. Obviously if you export other ways to construct the type, it doesn’t work... It’s like saying “if you forget t
by alexmingoia 6y ago
Yeah, I don’t find those points very convincing. Obviously if you export other ways to construct the type, it doesn’t work...
It’s like saying “if you forget to sanitize input it won’t get sanitized.” Okay?
- imoverclocked 6y agoThe entire point of a good type system is to reduce the need for extra cognitive diligence around your data/code. The more corner cases you have to be careful around, the less helpful the type system is.
- deleted 6y ago[deleted]
- remexre 6y agoI've gotten bit by the Generic one in real code before... I'm sure if I used Haskell for RESTful web stuff more, I'd eventually get bit by something similar for Aeson too.