1. 24
  1.  

  2. 7

    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.

    1. 4

      A solid introduction. Thanks for sharing!

      1. 2

        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

        1. 2

          Missed this before, but thanks for the feedback, I’ll be sure to give this talk a look!