Here's what I have so far. - Typed Racket more efficiently represents and computes types and propositions, resulting in significantly faster type checking for many programs. For more details, see this blog post by Andrew Kent: https://pnwamk.github.io/blog/2017/01/08/some-changes-in-typed-racket-v6-8/
- The bytecode optimizer can reduce more expressions of the form `(equal? x y)` to `(eqv? x y)` or `(eq? x y)` when the type of `x` or `y` is known. - The bytecode optimizer avoids dropping stack frames in some reductions. This provides better stack traces for errors when errotrace is enabled. - The bytecode compiler detects more optimization opportunities, including when variables always hold a boolean value. In particular in expressions like (or (symbol? x) (something)), the optimizations avoids the creation of an intermediate variable to store the result of (symbol? x). - The `scribble/html/extra` module provides renderers for HTML elements that are part of the WHATWG HTML standard but not part of the `scribble/html` `scribble/html` language by default (e.g., `map`, `time`, `video`). - The DeinProgramm teaching languages support pattern matching using the `match` form. - In the DeinProgramm languages, define-record-procedures supports specifying signatures as part of the form, instantly enabling properties quantifying over such records. If you haven't filled in your items, please do so. Alexander Hedges: - FreeBSD PowerPC support (d031f30d f1d853ee @ racket) Matthew Butterick: - new logo Matthew Flatt: - touchbar mac support (b9e94f9c @ gui) - support for GTK3 on wayland (48c1b282 @ gui) - syntax property preservation (8f9d4860 @ racket) - list operation space optimizations (5e94a906 d7b18e7a @ racket) Ryan Culpepper: - raco macro-stepper (ce7be92c @ macro-debugger) Vincent On Sun, 15 Jan 2017 13:14:55 -0600, Vincent St-Amour wrote: > > The release announcement sketch that I have so far is below. Please > mail me new items and/or edits. > > Please phrase announcements using complete sentences and avoid the > word "now". > ---------------------------------------------------------------------- > > Alexander Hedges: > - FreeBSD PowerPC support (d031f30d f1d853ee @ racket) > > Andrew Kent (filled in by Sam): > Typed Racket more efficiently represents and computes types and > propositions, resulting in significantly faster type checking for many > programs. For more details, see this blog post by Andrew Kent: > https://pnwamk.github.io/blog/2017/01/08/some-changes-in-typed-racket-v6-8/ > > Ben Greenman: > - scribble/html changes (1676671e @ scribble) > > Gustavo Massaccesi > - optimizations (58333903 c3595c56 9ebfdb54 25dc89a2 @ racket) > > Matthew Butterick: > - new logo > > Matthew Flatt: > - touchbar mac support (b9e94f9c @ gui) > - support for GTK3 on wayland (48c1b282 @ gui) > - syntax property preservation (8f9d4860 @ racket) > - list operation space optimizations (5e94a906 d7b18e7a @ racket) > > Ryan Culpepper: > - raco macro-stepper (ce7be92c @ macro-debugger) > > William G Hatch: > - faster scrolling on GTK? (3b280551 @ gui) > > ---------------------------------------------------------------------- > > -- > 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 racket-dev+unsubscr...@googlegroups.com. > To post to this group, send email to racket-dev@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/m2fukk3zkg.wl-stamourv%40eecs.northwestern.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 racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m2lgu5xv8r.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
