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> suddenlink.net> 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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk