5 ms·

Philip Walder, who contributed to the design of Haskell (according to wikipedia, haven't dug deep here) worked with the Go developers on a PL theory underpinnin

Philip Walder, who contributed to the design of Haskell (according to wikipedia, haven't dug deep here) worked with the Go developers on a PL theory underpinning for Go's generics: https://arxiv.org/abs/2005.11710 https://arxiv.org/abs/2005.11710 So, in fact, industry didn't ignore PL theory and research at all.

cinntaile 4y ago
Tiny nitpick but it's Wadler, not Walder. Maybe you knew this and it was just a typo.
- Laremere 4y ago
  Ah, was a typo. Can't edit anymore but thanks for the catch!