On Aug 21, 2020, at 2:07 PM, roger peppe <rogpe...@gmail.com> wrote: > > Here's one interesting implication of this: it allows us to do type > conversions that were not previously possible. > > For example, if we have "type I int", we can use a type switch to convert > some type []I to type []int: > https://go2goplay.golang.org/p/-860Zlz7-cn > > func F[type T intlike](ts []T) []int { > switch T { > case int: > return ts > } > return nil > }
IMHO this should work. This makes sense to me because I think of generics as merely constrained compile time macros :-) The switch can removed at compile time by the compiler. [Note that in this regard "intlike" is *different* from sum types, which are a runtime concept that Go doesn't have (except for interface{}).] -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/golang-nuts/74732864-340B-4F23-A578-7E6C65DE256D%40iitbombay.org.