Conversation

You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
type class struggle tweets
@onfiv
A bit unrelated, but the other day I noticed Rust also has higher rank *constraints* (e.g. for<'a> &'a T: Send) but only for lifetimes, not types. AFAIK, even Haskell doesn't have this, although you can emulate it
3
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Brendan Zabarauskas
@brendanzab
But yeah, good thought on the QTT stuff - also curious about the stuff the
@granulelang
people have been working on in GrTT - which integrates some of their fancy graded modal stuff with dependent type systems… not sure if that is useful at all for first class module systems.
1