A Dictionary-Passing Translation of Featherweight Go

06/28/2021
by   Martin Sulzmann, et al.
0

The Go programming language is an increasingly popular language but some of its features lack a formal investigation. This article explains Go's resolution mechanism for overloaded methods and its support for structural subtyping by means of translation from Featherweight Go to a simple target language. The translation employs a form of dictionary passing known from type classes in Haskell and preserves the dynamic behavior of Featherweight Go programs.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset