Type inference for beginners — Part 1
Dhruv Rajvanshi

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!

Like what you read? Give Angelo Bulfone a round of applause.

From a quick cheer to a standing ovation, clap to show how much you enjoyed this story.