Hi,
I just got done reading the paper "Traits: Composable Units of Behaviour".
In general, I think the concept is massively underrated and has tons of
potential.
I can recommend the paper to anyone to make up one's mind about
inheritance issues.
I did not yet try to use traits in Pharo, myself. But Two things came to
my mind that were not quite clear from your paper, Stef and other
authors in case you are following this list...
* Why aren't getter methods defined within a trait?
Imho that would make a lot of sense. If you apply a trait, but don't
like the getter/setter, then override it - no big deal. Why don't you
include them as default in the trait?
* When do unresolved conflicts error?
Runtime vs. compile-time?
Thanks, and keep it up.
Markus