I want a language with staging and a module system though - getting a bit sick of traits and their schenanigans
; __ ;
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Conversation
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
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
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 can actually emulate them in rust using traits