Hacker News new | ask | show | jobs
by tsimionescu 1520 days ago
No, they can't. Or more precisely, only generic type parameters can be sum types, not actual runtime variables/parameters/return types/struct fields.
1 comments
chombier 1520 days ago
> not actual runtime variables/parameters/return types/struct fields.

Is it possible to church-encode these with Go generics?

link
tsimionescu 1520 days ago
Yes, 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.
link