Thanks for this! I worked on implementing a type-inference algorithm last week and I wish I had stumbled upon the chapter on unification[1] earlier.<p>[0] - <a href="https:&#x2F;&#x2F;github.com&#x2F;prakhar1989&#x2F;type-inference" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;prakhar1989&#x2F;type-inference</a><p>[1] - <a href="http:&#x2F;&#x2F;www.scheme.com&#x2F;tspl4&#x2F;examples.html#.&#x2F;examples:h10" rel="nofollow">http:&#x2F;&#x2F;www.scheme.com&#x2F;tspl4&#x2F;examples.html#.&#x2F;examples:h10</a>