Here's a draft for the TR changes: - Typed Racket fully supports submodules. - The `typed/racket/unsafe` library provides import and export forms that circumvent contract generation. This improves performance for typed-untyped interaction at the cost of safety and debuggability. - Typed Racket provides experimental support for units (from `racket/unit`). - The experimental `define-new-subtype` form allows overlaying finer distinctions between otherwise identical types, similar to Haskell's `newtype`. - The `Promise` type constructor changes in a backwards-imcompatible way to exclude promises created with `promise/name`.
For the unstable changes, how much detail do we want? Listing the fate of each of the 40+ unstable subcollects is probably too much, but just saying "unstable is out of the distribution, some of its goodies have been merged" is probably too little. Any thoughts? Vincent On Fri, 30 Oct 2015 13:19:55 -0500, Ryan Culpepper wrote: > > The release announcement sketch that I have so far is below. Please > mail me new items and/or edits. > > (The items below represent only the main repository. Please email me > items for other repositories in the main distribution.) > ---------------------------------------------------------------------- > > mflatt: > - switch to set-of-scopes expander (fc5e32e5) > - toward deterministic bytecode generation (2661d469) > > robby: > - add and use late-neg projections (13964c41) > > stamourv: > - many unstable merges, etc (91c422bb, ..., 5c9995ee) > > stchang: > - add free-id-sets (7d434d26) > > asumu: > - implement class sealing/unsealing (c2cd44c9) > > dfeltey: > - improvements to unit/c (b16f0b24) > > Tim Brown: > - add net/url-strings library (9473f394) > > Stefan: > - added crypto-random-bytes > > ---------------------------------------------------------------------- > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/5633B4CB.2050901%40ccs.neu.edu. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m2ziz0cia3.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
