Featherweight Go 的字典传递翻译
编程语言
2021-09-22 v3
摘要
Go 编程语言是一门日益流行的语言，但其某些特性缺乏形式化研究。本文通过从 Featherweight Go 到一种简单目标语言的翻译，解释 Go 对重载方法的解析机制及其对结构子类型的支持。该翻译采用源自 Haskell 中类型类的字典传递形式，并保留 Featherweight Go 程序的动态行为。
引用
@article{arxiv.2106.14586,
title = {A Dictionary-Passing Translation of Featherweight Go},
author = {Martin Sulzmann and Stefan Wehr},
journal= {arXiv preprint arXiv:2106.14586},
year = {2021}
}
备注
omit ref to online version