4 ms·
Actually, go generics can do sum types, it’s just not well known or advertised.
by Kostarrr 4y ago
Actually, go generics can do sum types, it’s just not well known or advertised.
- tsimionescu 4y agoNo, they can't. Or more precisely, only generic type parameters can be sum types, not actual runtime variables/parameters/return types/struct fields.
- chombier 4y ago> not actual runtime variables/parameters/return types/struct fields. Is it possible to church-encode these with Go generics?
- tsimionescu 4y agoYes, probably, but I'm not sure that would be very ergonomic (I don't think you'd want to use it for something like Optional), if I understand correctly how it would work.