轻量级围棋
Featherweight Go
摘要：
我们描述了Go中泛型的设计，灵感来自Igarashi，Pierce和Wadler以前在Featherweight Java上的工作。Java中的子类型是名义型的，Go语言中是结构型的，Java中的泛型是通过擦除定义的，而Go语言中我们使用单态化。虽然单态化被广泛使用，但我们是最早将其形式化的设计之一。我们的设计还支持表达式问题的解决方案。
英文摘要：
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use monomorphisation. Although monomorphisation is widely used, we are one of the first to formalise it. Our design also supports a solution to The Expression Problem.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
