Hacker Next
How to choose between Hindley-Milner and bidirectional typingthunderseethe.dev
126 points by thunderseethe 4 days ago | 47 comments