下载PDF摘要：我们描述了一个围棋中泛型的设计，灵感来自于Igarashi、Piels和Wadler之前在Featherweight Java上的工作。Java子类型是名义上的，Go中是结构化的，而Java中的泛型是通过擦除定义的，而Go中我们使用的是单形化。虽然单形化被广泛使用，但我们是最先将其正规化的人之一。我们的设计还支持表达式问题的解决方案。