Where was this when I was bashing my head trying to understand HM? I’m currently working on a programming language that uses HM and I only managed to get it to work by translating a literate Haskell example. Now I actually have an understanding of what I wrote and can clean it up.
Regardless of this coming 2 days late for me, I eagerly await the upcoming installments, though if you’re not fast enough, I may have already implemented them in my compiler. Still, this is a great resource and the only example of HS I can understand and one of only 2 examples that I can find that isn’t in Haskell.
Thank you very, very, very much!