2 Apr
2004
2 Apr
'04
8:21 p.m.
David A. wrote:
"Andy Little" <andy@servocomm.freeserve.co.uk> writes:
Absolutely not. A key trait of traits is that they're non-intrusive. They create an association with that can be defined *after* the type argument is defined.
Surely a trait is *part of the *definition* * of an *entity* in a wider sense.
I think I just quite definitively disagreed with that assertion already ;^)
Would you disagree with Andy even if that "wider sense" was a GP concept? I agree with Andy under that interpretation, a trait defines the local neighborhood of a concept and its models. /David