🔄 Is "Complete and Easy Bidirectional Typechecking" the way to go if you want to implement a Haskell-like type system (type inference, parametric polymorphism, typeclasses, RankNTypes)?
Conversation
This Tweet is from a suspended account. Learn more
I'm pretty sure Complete and Easy combines the two, allowing you to leave off type annotations, but switching to bidirectional typing for higher rank stuff. Stuff like generalisation and type variable unification can definitely be combined with bidirectional typing!
This Tweet is from a suspended account. Learn more
Yeah, you'll want to add type variable unification in the mix, and genralization+instatiation on top of bidi typing in order to get the feel of Haskell. I'm pretty sure that's covered in Complete and Easy (been a while since I looked though).
1
2
Show replies