Boost logo

Boost :

Subject: Re: [boost] Any interest in dynamic dispatching mechanism from & quot; interface& quot; to template functions ?
From: Larry Evans (cppljevans_at_[hidden])
Date: 2010-07-02 15:43:48

On 07/02/10 07:20, Raffi Enficiaud wrote:
> Larry Evans <cppljevans <at>> writes:
>> This sounds something like functor in category theory:
> This is the general idea, but it does not really
> coincide with the notion of mathematical functor. These are
> homomorphism, which means that they preserve a mathematical
> structure. Well here, there is no such kind of structure I guess.
> The "objects" are here the types and their specific instance.
> Plus functors are arrows with one direction, while the c_i's
> are bidirectional (possible update of the interface parameters
> during their destruction).

Yes, functors are one direction; however, there's also
functor inverses, which go in the opposite direction:

also, page 6 (in Section 5) of:

I found these by googling "isomorphic functors".


Boost list run by bdawes at, gregod at, cpdaniel at, john at