Volltext-Downloads (blau) und Frontdoor-Views (grau)

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go

  • Featherweight Generic Go (FGG) is a minimal core calculus modeling the essential features of the programming language Go. It includes support for overloaded methods, interface types, structural subtyping and generics. The most straightforward semantic description of the dynamic behavior of FGG programs is to resolve method calls based on runtime type information of the receiver. This articleFeatherweight Generic Go (FGG) is a minimal core calculus modeling the essential features of the programming language Go. It includes support for overloaded methods, interface types, structural subtyping and generics. The most straightforward semantic description of the dynamic behavior of FGG programs is to resolve method calls based on runtime type information of the receiver. This article shows a different approach by defining a type-directed translation from FGG to an untyped lambda-calculus. The translation of an FGG program provides evidence for the availability of methods as additional dictionary parameters, similar to the dictionary-passing approach known from Haskell type classes. Then, method calls can be resolved by a simple lookup of the method definition in the dictionary. Every program in the image of the translation has the same dynamic semantics as its source FGG program. The proof of this result is based on a syntactic, step-indexed logical relation. The step-index ensures a well-founded definition of the relation in the presence of recursive interface types and recursive methods.show moreshow less

Export metadata

Additional Services

Share in Twitter Search Google Scholar

Statistics

frontdoor_oas
Metadaten
Document Type:Article (unreviewed)
Title (English):A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go
Author:Martin Sulzmann, Stefan WehrGND
Year of Publication:2022
Date of first Publication:2022/09/18
Page Number:58
DOI:https://doi.org/10.48550/arXiv.2209.08511
URL:https://www.researchgate.net/publication/363667195
Language:English
Institutes:Fakultät Elektrotechnik, Medizintechnik und Informatik (EMI) (ab 04/2019)
Institutes:Bibliografie
Tag:Programming Languages
Open Access: Open Access 
 Diamond 
Relevance:Wiss. Zeitschriftenartikel unreviewed
Licence (German):License LogoCreative Commons - CC BY-NC-ND - Namensnennung - Nicht kommerziell - Keine Bearbeitungen 4.0 International
Comment:
Preprint, submitted to JFP
ArXiv Id:http://arxiv.org/abs/2209.08511v1
ArXiv Id:http://arxiv.org/abs/2209.08511