Bullet point 2 seems like it may overlap (in a practical, "what do I use today" sort of a way) with Matthew's modulelet construct. Both group modules together, both provide independently loadable things.
Do we really want/need both of these? Robby On Tue, Jul 26, 2011 at 5:49 PM, Jay McCarthy <jay.mccar...@gmail.com> wrote: > Eli and I had a very useful conversation last night and we realized > that a lot of the ideal package system we are imagining is within our > reach very quickly. Today I made a demonstration of our ideas: > > https://github.com/jeapostrophe/exp/tree/master/pkgs > > There's a README there. Once you read it, > > Run use/program.rkt > > Then edit use/pkg-in.rkt and change the "safe" to "unsafe" > > You'll see that it changes the meaning of racket/listy module > reference in use/program.rkt > > I haven't implemented the module algebra, but it should be clear from > looking at the macro implementations that the existing identifier > algebra in require/provide will work transparently. > > Jay > > -- > Jay McCarthy <j...@cs.byu.edu> > Assistant Professor / Brigham Young University > http://faculty.cs.byu.edu/~jay > > "The glory of God is Intelligence" - D&C 93 > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev