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 [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/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 [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/m2lgu5xv8r.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
