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.