Mandatory What part of the Hindley-Milner do you not understand?, it was the first post where I learned the type rules notation and a lot of good answers for an introduction to HM type system.
A solid introduction. Thanks for sharing!
Thanks for the great talk! I enjoyed your explanation of let binding, which I never fully understood before. Not sure if it was part of the scope of this lecture, but one thing a lot of talks seem to miss is concrete examples. If you’re looking for feedback, I think it would be helpful to start off with one or two examples in a familiar programming language. This talk does a good job of motivating HM in a Java-like language and makes it clear why someone would want a type system like HM in the first place: https://www.youtube.com/watch?v=cQf_6NsLp80
Missed this before, but thanks for the feedback, I’ll be sure to give this talk a look!