News for hackers. Stuff that matters.
Re:Hindley-Milner Type Inference (2012) by eru on Saturday July 11, 2020 @06:34AM (#23801035)
Yes, hence my weasel word with 'common' and 'most'.

It's good to see that they are taking the likes of Phil Wadler serious. (Perhaps his beard helps?)

> We’d like to thank Philip Wadler and his collaborators for thinking formally about generics in Go and helping us clarify the theoretical aspects of the design.

In the older post at https://blog.golang.org/why-generics you still see them pretty much mix up parametric polymorphism and ad-hoc polymorphism.

Thanks for the link to the paper!

There are no comments on this comment yet.