How to choose between Hindley-Milner and bidirectional typing

by thunderseethe | View on Hacker News