How to Choose Between Hindley-Milner and Bidirectional Typing

submitted by /u/thunderseethe
[link] [comments]