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
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
