Ok, so how about: Typed Racket produces up to 4x smaller compiled files compared with Racket 6.5, reducing the size of the Racket distribution by 50M.
Vincent On Thu, 21 Jul 2016 19:08:03 -0500, Alex Harsanyi wrote: > > Hi Asumu, > > I just installed 6.6.0.2 and for a small TR module (approx 50 lines of > code) it reduces the size of the .zo file from 8Mb in 6.5 to approx 2Mb, > I think this is impressive. For other TR modules it reduces the size of > the .zo file by about 20 - 25%, this is still significant. > > Also, the final executable for my application has dropped in size from > 104Mb in Racket 6.5 to about 60Mb in Racket 6.6. > > I think this is a great improvement and definitely worth mentioning. > > Best Regards, > Alex. > > On Friday, July 22, 2016 at 2:15:22 AM UTC+8, Asumu Takikawa wrote: > > On 2016-07-21 12:44:38 -0500, Vincent St-Amour wrote: > > - zo size improvements c29eb20efc3ee05ba9669a28c0482096f2e753d0 > > 196744e0cdbd9899e6c7015e0ed71b3165e5ff12 more? > > "Typed Racket generates less code for contract checking and > type serialization in some cases." > > Not sure it's worth including though. > > Cheers, > Asumu > > > -- > 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/350cee48-e6f3-43d6-9fc5-878578687d87%40googlegroups.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/m2oa5pbqi0.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
