Jul 10, 2020

> And Go people's common refusal to look much further, and especially not into academia..

I don't think that's a fair statement, given Phil Wadler's formal work on generics in Go - "Featherweight Go" (https://arxiv.org/abs/2005.11710) - which is acknowledged here: https://blog.golang.org/generics-next-step

Jul 02, 2020

Ah, the irony,

"Featherweight Go"


-- Proc. ACM Program. Lang., Vol. 1, No. OOPSLA

It appears Go needs PhDs after all.

Jun 16, 2020

The Featherweight Go paper also just recently came out, which is an important step:


Jun 16, 2020

If this follows the monomorphic approach described in Featherweight Go [1][2], they will at least avoid problems caused by type erasure and avoid too much runtime overhead.

1. https://arxiv.org/abs/2005.11710 2. https://news.ycombinator.com/item?id=23368453

Jun 08, 2020

Here's the corresponding paper: https://arxiv.org/abs/2005.11710