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. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev