[racket-dev] Release Announcement for v6.1

On Tue, Jul 29, 2014 at 12:47 PM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> 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)

Lets keep "simple" as in "easily find simple mistakes".

>
>> - 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 :-)
>
>
>
>
>
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev