[racket-dev] Release Announcement for v5.0.1

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Jul 28 09:24:16 EDT 2010

On Jul 27, 2010, at 11:26 PM, David Van Horn wrote:

>> * The core type system of Typed Racket has been substantially
>>   revised.  In particular, Typed Racket can now follow significantly
>>   more sophisticated reasoning about the relationships between
>>   predicates.  Additionally, Typed Racket now allows variable arity
>>   types in more places, allowing programmers to specify
>>   variable-arity lists.
> substantially, significantly, sophisticated
> Weasel words.
> http://matt.might.net/articles/shell-scripts-for-passive-voice-weasel-words-duplicates/

This is advertising prose not a summary of scientific work. 

Posted on the dev mailing list.