[plt-scheme] A new version of Typed Scheme

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Tue Feb 23 20:14:34 EST 2010

It hasn't updated yet. It will update tomorrow with the nightly build

On Tue, Feb 23, 2010 at 6:05 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> Why does this revised guide repeatedly say "typed-scheme" instead of
> "typed/scheme"?
> On Tue, Feb 23, 2010 at 5:09 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
>> In the current SVN version, and in the next release, Typed Scheme now
>> has a new name.  Typed modules should now use the language
>> `typed/scheme', or `typed/scheme/base', like this:
>> #lang typed/scheme
>> (: x Number)
>> (define x 7)
>> The `typed/scheme' language is like `scheme', but checked, and
>> `typed/scheme/base' is like `scheme/base'.  I hope to add `typed/'
>> versions of additional languages in the future.
>> This change also brings with it a refactoring of the numeric hierarchy
>> in Typed Scheme.  Numbers are now given more precise types, and
>> several functions (such as `vector-ref') require more precise types.
>> The existing `typed-scheme' language will continue to work as it did
>> previously.
>> Finally, the new release comes with a rewritten version of the guide
>> to Typed Scheme, available soon at
>> http://pre.plt-scheme.org/docs/html/ts-guide/.  I'm very interested in
>> feedback on the new guide.
>> --
>> sam th
>> samth at ccs.neu.edu
>> _________________________________________________
>>  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

Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the users mailing list.