5 ms·
Sum types allow for more robust modeling of the API boundary in libraries, so in fact having a better type system is desirable even when "just gluing libraries"
by kamov 2y ago
Sum types allow for more robust modeling of the API boundary in libraries, so in fact having a better type system is desirable even when "just gluing libraries", because it can make incorrect program states physically unrepresentable.
- mplewis 2y agoSum types are great – but Go manages to be unreasonably effective even in their absence.
- GaryNumanVevo 2y ago> unreasonably effective I'm really tired of this PR speak when it comes to programming languages. Why / how is it unreasonably effective? More effective than what?