[plt-scheme] new minor release of PLT Redex

From: Robby Findler (robby at cs.uchicago.edu)
Date: Sun Dec 3 21:13:13 EST 2006

I've just sent in v2.6 of redex.plt. In the last few releases there
have been bunch of improvements and this will probably be the last
minor version before some backwards-incompatible changes. These are the
highlights from the last few versions:

  - added a bunch of new patterns for things are commonly written as
    side-conditions: support for a kind of "namespace" (prefixed
    variables, technically), patterns that ensure named sub-expressions
    must be different from each other, and ways to make sure different
    sequences have the same (or different) length.

  - significantly improved the memory consumption (added
    programmer-support for the pattern matching caches and better
    defaults) and also found a 30% speedup (altho the 30% speedup was
    back in 2.1)

  - added metafunction support, using the same notation as the
    reductions

  - added documentation that explains how to avoid performance bugs,
    and a note on a debugging technique.

  - added schemeunit support (two 'check's)

Robby



Posted on the users mailing list.