That works. On Friday, April 15, 2016, Vincent St-Amour <[email protected]> wrote:
> 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 > > <[email protected] <javascript:;>> 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] <javascript:;>> wrote: > > >> Sure! > > >> > > >> Robby > > >> > > >> On Fri, Apr 15, 2016 at 2:07 PM, Sam Tobin-Hochstadt > > >> <[email protected] <javascript:;>> 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] <javascript:;>> 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] <javascript:;>> 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] <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/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] <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/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] <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/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/CAL3TdOOyzhfn5Q_qwE-ZahzATt0hZOUv_kQewEitZpSdanDjFg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
