How to Choose Between Hindley-Milner and Bidirectional Typing

6 points | by thunderseethe a day ago