[PLT announcement] PLT Scheme v4.1

From: Eli Barzilay (eli at barzilay.org)
Date: Tue Aug 12 16:12:37 EDT 2008

PLT Scheme version 4.1 is now available from


* 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

* 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

* 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!

Posted on the announce mailing list.