In understand your point, but very few people actually know what this benchmark is.
What about "in a number of gradual typing programs we studied"? Vincent On Fri, 15 Apr 2016 15:12:53 -0500, Robby Findler wrote: > > 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 > <sa...@cs.indiana.edu> 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 > > <ro...@eecs.northwestern.edu> wrote: > >> Sure! > >> > >> Robby > >> > >> On Fri, Apr 15, 2016 at 2:07 PM, Sam Tobin-Hochstadt > >> <sa...@cs.indiana.edu> 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 > >>> <ro...@eecs.northwestern.edu> 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 > >>>> <stamo...@eecs.northwestern.edu> 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 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/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 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/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 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/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 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/m2shym1v7p.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.