[racket-dev] Release Announcement for v6.1

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Jul 29 13:47:58 EDT 2014

On Jul 28, 2014, at 2:33 PM, Ryan Culpepper <ryanc at ccs.neu.edu> wrote:

> matthias:
> - add check-random (aec84f4a)

check-random is an addition to the preferred unit testing framework in 
the teaching languages. It enables the testing of students' functions 
that use random-number generation. (Thanks to David Van Horn (UMaryland)
for proposing this idea.) 

;;; --- 

Some grammatical suggestions the UNDEFINED issue: 

> Racket now raises ...

Instead of the ubiquitous 'now' I'd prefer 'Racket v6.1 raises ...'

;;; --- 

.. in Robby's section: 

> - contracts: improved random generation for contracts; the contract
> system can now easily find simple mistakes in data-structure
> implementations (eg accidentally reversing a conditional in a heap
> invariant check), given strong enough contracts

- contracts: the contract system's random testing facility has been
strengthened so that it can easily find mistakes in contracted data 
structure implementations (e.g. an accidental reverse of a conditional 
in a heap invariant check)

> - redex: the semantics of mis-match patterns (variables followed by
> _!_) inside ellipses has changed in a backwards incompatible way; they
> semantics is now much clearer and now potentially even useful

.... this change simplifies the patterns' semantics and increases 
the usefulness of these patterns 

;;; ---- 

+1 on plumbers, if only for the word :-) 

Posted on the dev mailing list.