News for hackers. Stuff that matters.
Re:Go generics are not bad by grumpyprole on Saturday July 09, 2022 @02:33AM (#32032459)
Yes retrofitting is hard. However, "Generics", also known as parametric polymorphism is well understood and goes back to Milners ML from the 70s.
Re:Go generics are not bad by bborud on Saturday July 09, 2022 @07:45AM (#32034119)
While something may be well understood in an academic sense doesn't mean that the application of that understanding to implementation humans will take a liking to is well understood.

If you look at the programming language landscape I think one wouldn't be unreasonable in pointing out that very little is understood in terms of how you go from good ideas to widely adopted language.

What affects reality is important.

Re:Go generics are not bad by grumpyprole on Saturday July 09, 2022 @03:47PM (#32038612)
> doesn't mean that the application of that understanding to implementation humans will take a liking to is well understood.

I really like how ML implements it, does that make me somehow less human?

Re:Go generics are not bad by bborud on Sunday July 10, 2022 @12:59PM (#32046449)
What you like or don't like isn't really the point. The point is that it isn't unimportant when judging how "good" a language is to take into account how many people are willing to use it. It is hard to argue that a language is "good" when a negligible fraction of developers are willing to use it.
Re:Go generics are not bad by grumpyprole on Sunday July 10, 2022 @06:17PM (#32049677)
As Alan Kay said, the industry is a pop culture, driven by marketing not science. I'm still going to argue for good ideas though.
Re:Go generics are not bad by bborud on Wednesday July 13, 2022 @05:41AM (#32080581)
If one is to come up with an excuse for not understanding people, one should pick something that at least sounds plausible.