[plt-dev] Re: [plt-scheme] Call for Participation: Writing Typed Scheme wrapper modules
what's the submission process? do we just send the code to you?
thanks,
yc
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>