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 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 documentationfor "logger" for more details.
• Bug fixes:
  • begin in R5RS (and derived languages),
  • #lang planet,
  • eval works with phases.

Feedback Welcome.