I would replace "in many cases" with "in our gradual typing benchmark" or similar. I don't think there has been any careful study of what is common TR code that has been part of the design of the benchmark.
Robby On Fri, Apr 15, 2016 at 2:45 PM, Sam Tobin-Hochstadt <[email protected]> wrote: > Here's what I wrote then: > > Typed Racket now generates contracts with lower overhead in many > cases, speeding up typed/untyped interaction. > > Here's a revision: > > "Typed Racket and the racket/contract library generate code with lower > overhead, > speeding up typed/untyped interaction in many cases." > > Further edits welcome. > > Sam > > On Fri, Apr 15, 2016 at 3:27 PM, Robby Findler > <[email protected]> wrote: >> Sure! >> >> Robby >> >> On Fri, Apr 15, 2016 at 2:07 PM, Sam Tobin-Hochstadt >> <[email protected]> wrote: >>> More generally, there was a bullet I drafted for 6.4 that we took out >>> since some of the improvements were in 6.5 (such as the ones Robby >>> did). Maybe a version like that would cover both the TR and >>> `racket/contract` improvements. >>> >>> Sam >>> >>> On Fri, Apr 15, 2016 at 2:41 PM, Robby Findler >>> <[email protected]> wrote: >>>> For mine: >>>> >>>> - improved the performance of racket/contract for programs in the >>>> gradual typing benchmark >>>> >>>> Robby >>>> >>>> On Fri, Apr 15, 2016 at 1:28 PM, Vincent St-Amour >>>> <[email protected]> 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". >>>>> ---------------------------------------------------------------------- >>>>> >>>>> mflatt: >>>>> - unix-style install on Mac (4e7bb3071a913e57715e68b09b39666c75026aee) >>>>> - new optimizer IR (0c38da0ee2b3a8c7e9ca616e0152d9c075009495) >>>>> - changed some names in the runtime (if it's a public interface, we may >>>>> want to mention) (5f7d0317e86398f9d1ba27ffc4d6dfcd4c2141b0) >>>>> - preserved syntax properties (d22df41001dd87eaf6130618b2a1a3b9cf3664b8) >>>>> >>>>> robby: >>>>> - unsafe-chaperone-procedure (41c8d5bc27dba1686a02eed9aed43346772ba66f) >>>>> - procedure-result-arity (579d50b2d8fd448a554e21effe70637ad2dc9f7b) >>>>> - contract performance improvements >>>>> (35ce47d97ccb4a74e481d10e65d6812c40c979ec, >>>>> 126c0905797b3924b090b0f9c671dde330f74656, >>>>> 126c0905797b3924b090b0f9c671dde330f74656, >>>>> bea67c0a39725aea35bc4a8cabd6c6891dfdc564, probably more) >>>>> >>>>> ryanc: >>>>> - better syntax-parse error messages >>>>> (a86931d5f999c47698c6abab614276363a7c93da, >>>>> fafa83a8a087bea1e456bc907da987dfaa6dc62d) >>>>> >>>>> stamourv: >>>>> - contract profiler improved coverage >>>>> (379a3dd110b7902d9947dd075b0c34c9d4b394dc) >>>>> >>>>> stchang: >>>>> - hash iteration performance improvements >>>>> (e8d34dd1562869c4e9352c5f007ed400825c85bb and others) >>>>> >>>>> Gustavo Massaccesi / mflatt >>>>> - many optimizer improvements (bbbe99db43c3f7b2e193c83b59099e0b6f6e6427, >>>>> 1b54b1c0400dd25110efb90e1da6fda34487f03c, >>>>> 3f246dd857c886214ef6766f5c3baf2f50340b06, >>>>> 65838bd3c8859ec099f33e8f67f1ab3042e68c3c, >>>>> 2bfb851ccc49b3de72e5c5d60b8d337d890a068e, probably more) >>>>> >>>>> >>>>> Other repos: >>>>> >>>>> db: >>>>> - support for multi-result statements in mysql >>>>> (be087f41b7a344a54368428f77aca025388ff636) >>>>> >>>>> net: >>>>> - support for SRV records in net/dns >>>>> (8e052111691396d71ead2bfe2f2ade47f3d6287d) >>>>> >>>>> ---------------------------------------------------------------------- >>>>> >>>>> -- >>>>> 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/m2wpny20b8.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/CAL3TdOP1tjMegbRda8JTQhEMx6UegZJDdbrjNh%3Dbt%3Dbi7-kivA%40mail.gmail.com. >>>> 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/CAK%3DHD%2BaDJzHB7829Odb%2BTnw2bKoVP1__w7RnrDwB%3D8tnbS2jbg%40mail.gmail.com. > 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/CAL3TdOOjHRa_R140AjD8UiiK74zdXJS1kq_hSY3Nh_EZUKiGFw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
