I think dropping "significantly" from the Typed Racket blurb is probably more accurate.
On Friday, January 20, 2017 at 4:43:50 PM UTC-5, Vincent St-Amour wrote: > > 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/ > <https://www.google.com/url?q=https%3A%2F%2Fpnwamk.github.io%2Fblog%2F2017%2F01%2F08%2Fsome-changes-in-typed-racket-v6-8%2F&sa=D&sntz=1&usg=AFQjCNEl7Z45x8yNA-tXXlmKEFJg7a4d0A> > > > - 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] <javascript:>. > > To post to this group, send email to [email protected] > <javascript:>. > > 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/9db814d9-5ebe-4c94-9ded-23e3b7f1e51f%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
