Featherweight Go

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida 目次 概要 背景 Monomorphisation Expression Problem まとめ 1. 概要 どうGoにジェネリクスを導入するか 新しく contract を導入するのではなく 既存の interface を拡張することで実現することを提案 Monomorphisation を初めて定式化 関数型的な側面に焦点を当てた軽量なモデル言語 Featherweight Go に対して、健全性や停止性などを証明 後方互換性を保ちながらExpression Problemも解決 2. 背景 From Rob Pike to one of the