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
What's wrong with traits
1
They are a complicated feature that are designed for a specific thing - ad-hoc overloading. They break down if you want to use them for other modularity stuff, and take up room in the language for a feature that could allow for that _and_ ad-hoc overloading (ie. a module system).
2
Some things traits don't let you do are defining multiple impls for the same type, or to using them for defining abstract datatypes (which would require them to support implementation hiding).