Google Groups Home
Help | Sign in
Message from discussion PLT Scheme v4.1
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Eli Barzilay  
View profile  
 More options Aug 12 2008, 4:13 pm
Newsgroups: comp.lang.functional
From: Eli Barzilay <e...@barzilay.org>
Date: Tue, 12 Aug 2008 16:13:06 -0400
Local: Tues, Aug 12 2008 4:13 pm
Subject: PLT Scheme v4.1
PLT Scheme version 4.1 is now available from

  http://plt-scheme.org/

* DrScheme changes:

  - The Module language now has an automatically inserted `#lang'
    declaration, so the interactions window is available right
    away for new windows.

  - Searching is now interactive (see the manual for details).

  - Memory limits are now enabled by default.

* Typed Scheme supports a novel type checking mechanism for
  homogeneous and heterogeneous variable-arity function
  definitions and applications.

* Redex (a domain-specific language for testing operational
  semantics) is now included in the distribution. See also
  http://redex.plt-scheme.org/.

* Lots of improvement to the documentation, including: better
  searching, table-of-contents, and language-sensitive help (in
  the teaching languages).

* The world.ss teachpack no longer supports `end-of-time', only
  `stop-when'.

* MzScheme has now a logging facility, search the documentation
  for "logger" for more details.

* Bug fixes:

  - `begin' in R5RS (and derived languages),

  - `#lang planet',

  - `eval' works with phases.

Feedback Welcome,
--
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2009 Google