I have come back after about 6 months, and I appreciate the relatively informal nature of your blog post on HM type systems. I have since learned much more about intuitionistic type theory, the formalized algorithm for HM inference, and translations of such formalized algorithms into set operations on Maps (write you a Haskell has a chapter that really helps understanding that).
Anyway, I am itching to write another ML toy compiler that the world doesn't need, because why wouldn't I do that with this knowledge to ensure I keep it 🙂 Anyway, when I first re... (read more)
I have come back after about 6 months, and I appreciate the relatively informal nature of your blog post on HM type systems. I have since learned much more about intuitionistic type theory, the formalized algorithm for HM inference, and translations of such formalized algorithms into set operations on Maps (write you a Haskell has a chapter that really helps understanding that).
Anyway, I am itching to write another ML toy compiler that the world doesn't need, because why wouldn't I do that with this knowledge to ensure I keep it 🙂 Anyway, when I first re... (read more)