News for hackers. Stuff that matters.

A comment on Go generics draft design: building a hashtable. Parent comment

Re:Go generics draft design: building a hashtable by mrath on Wednesday June 17, 2020 @07:30PM (#23558087)
Sum types without generics will still be good enough? I think for things like Option/Result we need both sum types and generics.
[ Parent | on HN ]
Re:Go generics draft design: building a hashtable by ccktlmazeltov on Wednesday June 17, 2020 @09:58PM (#23558998)
I don't think you would need user generics for this to work.
[ Parent | on HN ]
Re:Go generics draft design: building a hashtable by OceanSpray on Wednesday June 17, 2020 @11:21PM (#23559490)
Without generics, sum types would have to be a built-in like maps and arrays.

With generics, discriminated unions can take on all sorts of user-defined shapes.

[ Parent | on HN ]
Re:Go generics draft design: building a hashtable by kccqzy on Thursday June 18, 2020 @03:13AM (#23560571)
Without generics, structs can take on all sorts of user-defined shapes. It's just that the types of its fields are fixed at declaration.

Without generics but with sum types, the sum types can still take on all sorts of user-defined shapes. It's just that the types of its various alternatives are fixed at declaration.

[ Parent | on HN ]
Re:Go generics draft design: building a hashtable by masklinn on Thursday June 18, 2020 @01:28AM (#23560050)
Non-generic sum types are useful but you can’t build an option or result type out of them, so the usefulness is somewhat hampered.
[ Parent | on HN ]
Re:Go generics draft design: building a hashtable by ccktlmazeltov on Thursday June 18, 2020 @03:50PM (#23567125)
But you don't need to, generic Option and Result types could be built as part of the standard library.
[ Parent | on HN ]
Re:Go generics draft design: building a hashtable by masklinn on Saturday June 20, 2020 @09:44AM (#23583900)
Yes but then you need neither sum types nor user-defined generics, you can just build-in whatever sugar is useful or necessary (possibly repurposing existing sugar e.g. the `select` statement).
[ Parent | on HN ]
Re:Go generics draft design: building a hashtable by ccktlmazeltov on Sunday June 21, 2020 @03:15PM (#23594548)
sum types are still super useful imo without generics.
[ Parent | on HN ]