Generics for Go

Posted Jul 8, 2020 13:41 UTC (Wed) by mathstuf (subscriber, #69389)
In reply to: Generics for Go by NYKevin
Parent article: Generics for Go

> but you're already going to have to do kind-checking there anyway (i.e. to prohibit Int<List> and similar errors), so additionally checking that the argument *is* a type isn't really that much more work.

But you don't want your AST module to have to decide that. It feels like a layering violation to me.