[racket-dev] Release Announcement for v6.0.1
The release announcement sketch that I have so far is below. Please mail me new items and/or edits. -- mflatt: - 2x bitmaps (037a211f, e47a90cc, etc); file/convertible (eda4f357) - retina displays (7dc63162) - dc alignment scale (582e9925) - bignum performance (780d6ae5) - added syntax/wrap-modbeg (bfda0665) - treat FFI primitives like other primitives (eff53cde) - add PLTUSERHOME (e4ce0d03) - fix bignum allocation (efa19918) - add racket/undefined (8abf7825, 74f82bbd) robby: - check syntax info even with syntax errors (09920bd8) - contract system change, more first-order-friendly (c321f6dd) - class/c changes (2989918a, 7bec967c, 4f65d57f, 59f57b1b) vincent: - contract profiler (cc0e6763, 7495243d, etc) - make f[lx]vectors sequences (8e32e6e4) asumu: - TR :-less syntax (e6e3ab4e, 45d36579, 37b09521, etc) - explain/warn about Class types? - TR recursive type aliases (a8cc430d) samth: - web pages? (154b5453, etc) neil: - plot 3D BSP tree (a515e7ce) - PDF/PS scaling changed to 1.0x1.0 (efc46ded) -- _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
The ones near my name: - Check Syntax cooperates with Typed Racket to show arrows and other Check Syntax highlighting even when there is a type error - Functions provided via contract-out that have first-order contracts perform better Robby On Thu, May 1, 2014 at 12:49 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. -- mflatt: - 2x bitmaps (037a211f, e47a90cc, etc); file/convertible (eda4f357) - retina displays (7dc63162) - dc alignment scale (582e9925) - bignum performance (780d6ae5) - added syntax/wrap-modbeg (bfda0665) - treat FFI primitives like other primitives (eff53cde) - add PLTUSERHOME (e4ce0d03) - fix bignum allocation (efa19918) - add racket/undefined (8abf7825, 74f82bbd) robby: - check syntax info even with syntax errors (09920bd8) - contract system change, more first-order-friendly (c321f6dd) - class/c changes (2989918a, 7bec967c, 4f65d57f, 59f57b1b) vincent: - contract profiler (cc0e6763, 7495243d, etc) - make f[lx]vectors sequences (8e32e6e4) asumu: - TR :-less syntax (e6e3ab4e, 45d36579, 37b09521, etc) - explain/warn about Class types? - TR recursive type aliases (a8cc430d) samth: - web pages? (154b5453, etc) neil: - plot 3D BSP tree (a515e7ce) - PDF/PS scaling changed to 1.0x1.0 (efc46ded) -- _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
On 2014-05-01 13:49:55 -0400, Ryan Culpepper wrote: asumu: * Types in Typed Racket are now pretty-printed. * Function types can now be written in prefix style, which is now preferred and is used for printing. Infix function types are still accepted for backwards compatibility. * A new `-*' type constructor is used for writing types for functions with optional and keyword arguments. The notation is similar to the matching contract combinator. - TR :-less syntax (e6e3ab4e, 45d36579, 37b09521, etc) * Typed Racket forms do not have a `:' suffix by default now. For example, the `struct' form replaces `struct:'. The suffixed versions are all provided for backwards compatibility. - explain/warn about Class types? * Typed Racket now has preliminary support for classes and objects. However, it is still experimental and the APIs are subject to change. - TR recursive type aliases (a8cc430d) * Type aliases in Typed Racket now support recursion and mutual recursion. For example, `(define-type (MyList X) (U Null (Pair X (MyList X' is now a valid type alias. Cheers, Asumu _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
At Thu, 01 May 2014 13:49:55 -0400, Ryan Culpepper wrote: vincent: - contract profiler (cc0e6763, 7495243d, etc) Nothing significant for this release. - make f[lx]vectors sequences (8e32e6e4) Not sure that's worth putting in the release notes, but if we decide it is, here's a bullet: - flvectors and fxvectors are sequences, and can be iterated over with the `for' family of forms. Vincent _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
On 05/01/2014 11:49 AM, Ryan Culpepper wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. -- neil: - plot 3D BSP tree (a515e7ce) - PDF/PS scaling changed to 1.0x1.0 (efc46ded) - Plot correctly renders intersecting 3D graphs and non-grid-aligned 3D rectangles. - Elements in plots output in PDF/PS format have the same relative scale as in other formats. In particular, it is not necessary to adjust `plot-font-size` to make PDF plots look the same as PNG. Neil _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
6f56948cff75dd4497b742ae01cd5df18c654e6f - The contract boundary between typed/untyped modules is much less expensive. dd8b646b0b3a0fd7905467f275f0f786eac958dd - Occurrence typing now works better with when/unless. Example: (let ((x (read))) (unless (number? x) (error 'bad-input)) (add1 x)) On Thu, May 1, 2014 at 2:16 PM, Neil Toronto neil.toro...@gmail.com wrote: On 05/01/2014 11:49 AM, Ryan Culpepper wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. -- neil: - plot 3D BSP tree (a515e7ce) - PDF/PS scaling changed to 1.0x1.0 (efc46ded) - Plot correctly renders intersecting 3D graphs and non-grid-aligned 3D rectangles. - Elements in plots output in PDF/PS format have the same relative scale as in other formats. In particular, it is not necessary to adjust `plot-font-size` to make PDF plots look the same as PNG. Neil _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
On Thu, May 1, 2014 at 8:44 PM, Eric Dobson eric.n.dob...@gmail.com wrote: 6f56948cff75dd4497b742ae01cd5df18c654e6f - The contract boundary between typed/untyped modules is much less expensive. This one plus the one on the contract system side should probably be combined into a single bullet item: - the boundary between Typed Racket and Racket program is now much less expensive because of improvements in TR's contract generation and improvements in the contract system's support for first-order contracts Robby dd8b646b0b3a0fd7905467f275f0f786eac958dd - Occurrence typing now works better with when/unless. Example: (let ((x (read))) (unless (number? x) (error 'bad-input)) (add1 x)) On Thu, May 1, 2014 at 2:16 PM, Neil Toronto neil.toro...@gmail.com wrote: On 05/01/2014 11:49 AM, Ryan Culpepper wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. -- neil: - plot 3D BSP tree (a515e7ce) - PDF/PS scaling changed to 1.0x1.0 (efc46ded) - Plot correctly renders intersecting 3D graphs and non-grid-aligned 3D rectangles. - Elements in plots output in PDF/PS format have the same relative scale as in other formats. In particular, it is not necessary to adjust `plot-font-size` to make PDF plots look the same as PNG. Neil _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
On May 1, 2014 10:01 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Thu, May 1, 2014 at 8:44 PM, Eric Dobson eric.n.dob...@gmail.com wrote: 6f56948cff75dd4497b742ae01cd5df18c654e6f - The contract boundary between typed/untyped modules is much less expensive. This one plus the one on the contract system side should probably be combined into a single bullet item: - the boundary between Typed Racket and Racket program is now much less expensive because of improvements in TR's contract generation and improvements in the contract system's support for first-order contracts I don't see why we shouldn't have two bullets. Your change improves things for everyone who uses contracts, not just typed programs. I think Eric's changes should be a little more specific -- Typed Racket now avoids generating contracts for places where contracts failures cannot happen, maybe. Sam Robby dd8b646b0b3a0fd7905467f275f0f786eac958dd - Occurrence typing now works better with when/unless. Example: (let ((x (read))) (unless (number? x) (error 'bad-input)) (add1 x)) On Thu, May 1, 2014 at 2:16 PM, Neil Toronto neil.toro...@gmail.com wrote: On 05/01/2014 11:49 AM, Ryan Culpepper wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. -- neil: - plot 3D BSP tree (a515e7ce) - PDF/PS scaling changed to 1.0x1.0 (efc46ded) - Plot correctly renders intersecting 3D graphs and non-grid-aligned 3D rectangles. - Elements in plots output in PDF/PS format have the same relative scale as in other formats. In particular, it is not necessary to adjust `plot-font-size` to make PDF plots look the same as PNG. Neil _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release Announcement for v6.0.1
At Thu, 01 May 2014 13:49:55 -0400, Ryan Culpepper wrote: mflatt: - 2x bitmaps (037a211f, e47a90cc, etc); file/convertible (eda4f357) - retina displays (7dc63162) - dc alignment scale (582e9925) - bignum performance (780d6ae5) - added syntax/wrap-modbeg (bfda0665) - treat FFI primitives like other primitives (eff53cde) - add PLTUSERHOME (e4ce0d03) - fix bignum allocation (efa19918) - add racket/undefined (8abf7825, 74f82bbd) * A new `racket/undefined` library exports `undefined` as the value currently produced by (letrec ([x x]) x) This library anticipates a future where that expression will raise an exception. The `racket/undefined` library will continue to offer the `undefined` value as a bridge between versions and as a last resort. * The drawing and GUI libraries provide improved support for high-resolution bitmaps and their use on Retina displays. For example, `read-bitmap` includes a `#:try-@2x?` option to trigger substitutions through the usual @2x naming convention. _ Racket Developers list: http://lists.racket-lang.org/dev