Hi,
In the last few months, I tried to anderstand better Roles aka statefull
traits, so I read differents traits papers about it. From the same
research group, I also read about classboxes and found the concept
interresting, particulary when combined with traits (roles).
Please note that I am not a computer science guy, so I anderstand more
or less the concepts but not the mathematical formal description.
I tried to read the Synopse S11 and how modules will be working in Perl
6: to be honest I still not really anderstand it :)
As Perl 6 will be supporting multiple versions installed of the same
module and also support import with lexical scoping, I was asking myself
if it was possible to combine some of the interresting properties of
classboxes like local rebinding, flattening property and the idea that
import takes precedence over inheritance.
I am absolutly not sure if it fit to the Perl 6 module concept as a
whole, but I will be happy to read your comments and what you think
about it.
A few pointers:
classboxes+traits introduction:
http://scg.unibe.ch/archive/papers/Berg05dTraitsClassbox.pdf
For an in depth description, you can also read the Ph.D. thesis:
http://scg.unibe.ch/archive/phd/bergel-phd.pdf
To develop the classbox concept, the autors also introduced a module
calculus, which also help to describe the difference existing beetween
different modules systems: (such a module calculus can also help to
better anderstand the interaction beetween different languages):
http://scg.unibe.ch/archive/papers/Berg05cModuleDiversity.pdf
I will be on Holiday for the next 3 weeks and will probably be offline
most of the time, so don't take a no reply for indifference. I know that
it's not a good idea to propose something like that and disappear
immediatly, but a saw that S11 was on a heavily rework phase and that it
is now or never to open my mouth :)
Raphael.