1. 28
  1. 3

    This is a gentle introduction to Hindley-Milner type inference, which handwaves over formal typing rules and focuses on the general shape of the algorithm. The (bi-directionality) title is a little misleading.

    1. 1

      Where would you go after this gentle introduction?

      1. 2

        I don’t have a good answer for you, but the author of this post mentions another post on the “unification” algorithm. I’ll probably read that next.