[plt-scheme] Ideas for PLaneT

I think it would be a good idea.  I use contracts extensively in the science
collection and I like the idea of the PLT Scheme system using that
information more broadly.  (Maybe the compiler could use it to generate
better code at some point.

I also use contracts extensively in my documentation as a formal statement
of the interface to a procedure (or structure, etc).  I think it works well
for this.  (If you download the science collection from PLaneT, the
reference manual, as a .pdf, (and examples) is (are) in the science.plt
directory in the planet cache.  It's a pain to get to but I didn't see a
better way of making sure it was distributed with the package.)

Maybe the idea of adding the source to the svn repository could be the first
step in getting PLaneT to help with distributed development of code as well
as the distribution.

Doug

> -----Original Message-----
> From: plt-scheme-bounces at list.cs.brown.edu [mailto:plt-scheme-
> bounces at list.cs.brown.edu] On Behalf Of Matthias Felleisen
> Sent: Monday, January 16, 2006 5:41 PM
> To: Jens Axel Søgaard
> Cc: plt >> mzscheme Mailing List
> Subject: Re: [plt-scheme] Ideas for PLaneT
> 
> Indeed!
> 
> We plan to go a step further some time later: add contracted interfaces
> to the modules in each Planet package and provide open access to the
> faults that the module has experienced.
> 
> What would authors think of that?
> 
> -- Matthias
> 
> 
> On Jan 16, 2006, at 7:27 PM, Jens Axel Søgaard wrote:
> 
> > A few ideas for PLaneT:
> >
> >   i) Send a monthly mail to this list with all packages
> >      added in the last 3 months
> >
> >  ii) Keep download statistics
> >
> > iii) Add the source of the packages to the svn repository
> >
> >
> > ad i)
> >   This gives people a chance to be reminded of new packages.
> >   (BTW - How many subscribe to the planet-announce list compared
> >   to this one?)
> >
> > ad ii)
> >   Users can easily find interesting stuff.
> >   Authors like feedback - is the package actually used by anyone.
> >
> > ad iii)
> >
> >   Actually I just want to browse the source of PLaneT packages,
> >   and be able to post links to source files and examples
> >   embedded inside packages. Adding them to the svn is just one
> >   way to make them browsable.
> >
> >
> > --
> > Jens Axel Søgaard
> >
> >
> >
> >
> > _________________________________________________
> >  For list-related administrative tasks:
> >  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme