One of my favorite resources that develop the HM algorithm from scratch is Ben Lynn's[0], who treats it like a series of interview questions, because really typ

One of my favorite resources that develop the HM algorithm from scratch is Ben Lynn's[0], who treats it like a series of interview questions, because really type inference algorithms match up two trees into constraints, which can contain concrete types or type variables, then solves those constraints. [0] https://crypto.stanford.edu/~blynn/lambda/hm.html https://crypto.stanford.edu/~blynn/lambda/hm.html