Generics syntax: declaring a generic type

[burak serdar]

This is a suggestion about the declaration of a generic type. There is
something unnatural in the syntax:

type SomeIntf(type T) interface {
...
}

type SomeStruct(type T) struct {
...
}

func SomeFunc(type T)(...) {...}


In all of the above, the names SomeIntf, SomeStruct, and SomeFunc are
being defined as generic types. However, all the regular types are
defined using the pattern:

"type" typeName typeDefinition

So why not:

type SomeIntf interface(T) {
...
}

type SomeStruct struct(T) {
...
}

func(T) SomeFunc(...) {...}

[Ian Lance Taylor]

You are only looking at the declarations, not the uses. I think it is
a very nice feature that we can write

type SomeStruct(type T) Struct { ... {

var S SomeStruct(int)

The declaration and the use are parallel. It is obvious from the
placement of the type parameter how the type argument should be
written.

Ian