logoalt Hacker News

tayo42 • today at 3:30 PM • 1 reply • view on HN

I thought the implementation here was how hindley Milner worked? I guess not?

Replies

tekknolagi • today at 4:54 PM

No, HM is unification based and requires no annotations at all.

➕ show 1 reply