Hindley-Milner Type Inference (2012)

Re:Hindley-Milner Type Inference (2012) by hellofunk on Friday July 10, 2020 @04:15PM (#23795922)

One of the principal maintainers of the Racket language once gave a talk, I think it was at the main Clojure conference, on a topic about Typed Racket, where he strongly outlined the reasons why HM inference is a bad idea. It was interesting to hear these differences in philosophies.

[ Parent | on HN ]

Re:Hindley-Milner Type Inference (2012) by tommybu on Friday July 10, 2020 @05:06PM (#23796458)

Would you mind providing a link to this talk?

[ Parent | on HN ]

Re:Hindley-Milner Type Inference (2012) by hellofunk on Friday July 10, 2020 @06:19PM (#23797243)

I've been searching for a few minutes and can't find it -- it was several years ago, maybe at least 5 years, and at one of the Clojure conferences (there used to be several big Clojure conferences each year back in the language's golden age, but now there's 0 - 1 per year), and I can't remember which conference.

[ Parent | on HN ]

Re:Hindley-Milner Type Inference (2012) by andrekandre on Friday July 10, 2020 @07:45PM (#23797967)

was it this one?

https://www.youtube.com/watch?v=RvHYr79RxrQ

[ Parent | on HN ]

Re:Hindley-Milner Type Inference (2012) by hellofunk on Saturday July 11, 2020 @03:23AM (#23800275)

That looks interesting as well, but it’s not the talk I was thinking of.

[ Parent | on HN ]