Featherweight Go

on YouTube ↗16m

" summary

Defines a minimal core language Featherweight Go (FG) and its generic extension Featherweight Generic Go (FGG), proves a semantics-by-translation claim that monomorphisation preserves and reflects typing and runtime behavior, and identifies a decidable Nomono predicate that rules out non‑monomorphisable (polymorphically recursive) programs. Provides a working Go toolchain (interpreter, static nomono check, monomorphiser, fgg-gen) that exposes a real gotcha—must generate dummy methods to preserve structural subtyping—or simulation breaks.

AI-written summary · about

" chapters (14)

1. 0:00Intro
2. 0:21The Go Programming Language
3. 0:53Go Developers and Generics
4. 1:38Design constraints
5. 2:02Approach
6. 3:18Featherweight Go
7. 5:15Featherweight Generic Go
8. 8:07Monomorphisation: instance set
9. 9:01Monomorphisation: instance generation
10. 9:23Formalisation of monomorphisation
11. 9:41Not all FGG programs are monomorphisable
12. 10:24Monomorphisation: results
13. 14:06Prototype Implementations
14. 15:02Collaboration with Go Team

" related talks

• 13mA Dictionary-Passing Translation of Featherweight GoMartin Sulzmann, Stefan Wehr · APLAS 2021
• 23mGeneric Go to Go: Dictionary-Passing, Monomorphisation, and HybridStephen Ellis, shofei nabuko, Lynn High · OOPSLA 2022
• 46mFunctional Programming with GoDylan Meeus · GopherCon 2020
• 14mThe Simple Essence of MonomorphizationJonathan Immanuel Brachthäuser, Philipp Schuster, Matthew Lutze · OOPSLA 2025
• 16mTools for working with Go CodeFatih Arslan · dotGo 2015
• 21mFunctional Go?Francesc Campoy Flores · dotGo 2015
• 05mReducing Go programsDaniel Martí · dotGo 2017
• 16mGo GenericsBenoît Masson · Devoxx France 2022