[plt-dev] Re: [plt-scheme] Call for Participation: Writing Typed Scheme wrapper modules

From: YC (yinso.chen at gmail.com)
Date: Tue Feb 24 16:57:49 EST 2009

what's the submission process?  do we just send the code to you?


On Tue, Feb 24, 2009 at 1:05 PM, Sam TH <samth at ccs.neu.edu> wrote:

> Typed Scheme is a language for writing PLT Scheme programs that are
> statically checked for type errors.  Right now, Typed Scheme handles a
> large portion of the PLT Scheme language.  However, to use Typed
> Scheme effectively, we need libraries that work with it.  For this
> task, we're looking for help.
> We'd like volunteers for writing wrapper modules that adapt untyped
> libraries to Typed Scheme. This task is very easy for the smallest
> libraries, but can be much more complicated for larger, complex
> libraries.
> There's a preliminary guide for conversion at:
> http://www.ccs.neu.edu/home/samth/adapt/
> which also has a list of modules to adapt, and their current status:
> http://www.ccs.neu.edu/home/samth/adapt/Current_Status.html
> Further discussion should be on plt-dev at list.cs.brown.edu , and
> questions or comments can be sent directly to me.
> We hope to continue making Typed Scheme into a useful tool for PLT
> Scheme programmers.
> Thanks,
> Sam, Stevie, and Matthias
> samth at ccs.neu.edu
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20090224/85590fe2/attachment.html>

Posted on the dev mailing list.