On Oct 28, 2005, at 11:13 PM, Luke Palmer wrote:
Most certainly. Implicit in a role or a theory is its algebra (though
we've talked about QuickCheckish ways to make it explicit). For
instance, technically the VectorSpace theory only requires you to
define identity, addition, and scalar multi
I'd like to see a way to map methods and variables expected by a
role, onto
methods and variables provided by a class. I'd like it to be possible
for a class to provide several such maps, having the appropriate one
selected according to context.
Continuing an example from an earlier thread www
