On: Interview with Go’s Russ Cox and Sameer Ajmani

[zzzcpan]

> upon the last few decades of programming language research

And yet it doesn't matter, because PL research is so broken, that it fails to provide us with even basic understanding on how people write code.

[Jweb_Guru → zzzcpan]

Do you have any source for this? I think you will find that people think quite a lot about the user interface to code. For example, this is why in many modern languages principal types are inferred and instance selection is implicit.