[mayama]

But, they are working toward Go2. Generics, which are the biggest talking point whenever Go is discussed, is already added in a branch and is supposed to come in a year or so. It'll be interesting to see how it'll affect the trends data after that.

[catgary]

Do they actually have people who are experienced with type theory working on the type system, or is it the same core team?

[lfnoise]

Philip Wadler ? https://arxiv.org/abs/2005.11710