论文标题
轻量级去
Featherweight Go
论文作者
论文摘要
我们描述了Go中的仿制药设计，该设计受到Igarashi，Pierce和Wadler在FeatherWeaight 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.
