Mind blown today: Constraint generation + solving is *not* a requirement for implementing Hindley-Milner type checkers — metavariables + unification is enough!
Conversation
Huh, meanwhile this hadn't even occurred to me as a possible misconception. (Probably because I learned a lot of this stuff from András in the first place - lucky me!)
2
1
There really could stand to be better introductory materials for this stuff, I mean the basic ideas aren't all /that/ complicated, for simple types at least... (curse of knowledge etc etc)
Not the first time I wish I were more-capable of deciding to do a thing and then doing it!
1
2
Replying to
Yeah for sure. I've joked before about how it would be cool to have ‘Crafting Elaborators’, or something like that, haha.