This Tweet was deleted by the Tweet author. Learn more
Conversation
I mainly do bidirectional type checkers in Rust - less so Hindley Milner checkers (bidirectional checking scales up more nicely to more interesting type system features). Still trying to get better at it, and learning a bunch!