How to choose between Hindley-Milner and bidirectional typing(thunderseethe.dev)125 points by thunderseethe 8 months ago | 45 comments
I'm Betting on Call-by-Push-Value(thunderseethe.dev)141 points by todsacerdoti 2 years ago | 50 comments
Designing a Language Without a Parser(thunderseethe.dev)104 points by thunderseethe 3 years ago | 91 comments