5 min read
Hindley-Milner vs. Bidirectional Typing: A False Dichotomy for Language Designers
Forget HM vs. Bidir type systems. Ask: "Does my language need generics?" Bidirectional typing is a superset of HM, supports generics via unification, or works without for simpler needs.