How to choose between Hindley-Milner and bidirectional typing
Corroborated by 1 source from 1 publisher
globalgeneral2/15/2026
TL;DR
According to thunderseethe.dev, this question is common enough you’ve probably heard it posed countless times: “Should my new programming language use a Hindley-Milner (HM) type system or a Bidirectional (Bidir) one?” What’s that.