Featherweight go-Reference-Cited by-同舟云学术

Featherweight go

Published:2020-11-13 Issue:OOPSLA Volume:4 Page:1-29
ISSN:2475-1421
Container-title:Proceedings of the ACM on Programming Languages
language:en
Short-container-title:Proc. ACM Program. Lang.

Author:

Griesemer Robert¹,Hu Raymond²^ORCID,Kokke Wen³^ORCID,Lange Julien⁴^ORCID,Taylor Ian Lance¹,Toninho Bernardo⁵^ORCID,Wadler Philip³^ORCID,Yoshida Nobuko⁶^ORCID

Affiliation:

1. Google, USA

2. University of Hertfordshire, UK

3. University of Edinburgh, UK

4. Royal Holloway University of London, UK

5. Nova University of Lisbon, Portugal / NOVA-LINCS, Portugal

6. Imperial College London, UK

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3428217

Reference42 articles.

1. Java and Scala's type systems are unsound: the existential crisis of null pointers;Amin Nada;Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA).,2016

2. Compiling standard ML to Java bytecodes

3. Jasmin Christian Blanchette Sascha Böhme Andrei Popescu and Nicholas Smallbone. 2016. Encoding Monomorphic and Polymorphic Types. Logical Methods in Computer Science 12 4 ( 2016 ). Jasmin Christian Blanchette Sascha Böhme Andrei Popescu and Nicholas Smallbone. 2016. Encoding Monomorphic and Polymorphic Types. Logical Methods in Computer Science 12 4 ( 2016 ).

4. Making the future safe for the past

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Monadic Framework for Name Resolution in Multi-phased Type Checkers;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22

2. A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go;Journal of Functional Programming;2023

3. Polymorphic lambda calculus with context-free session types;Information and Computation;2022-11

4. Generic go to go: dictionary-passing, monomorphisation, and hybrid;Proceedings of the ACM on Programming Languages;2022-10-31

5. Implementation Strategies for Mutable Value Semantics.;The Journal of Object Technology;2022