[racket-dev] Release Announcement for v5.1.2

15 minutes ago, Robby Findler wrote:
> Ah. That does help. And seems Borderline for the release notes.

Actually, I thought that this was always part of the optimizer.  In
any case, I think that it's borderline because REPL optimizations are
probably not something that people would be aware of and `with-type'
sounds too specific to be broadly applicable.

(And BTW, there *is* limited space for release notes -- otherwise
these discussions would never happen.)


> On Monday, August 1, 2011, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> > On Mon, Aug 1, 2011 at 1:52 PM, Robby Findler
> > <robby at eecs.northwestern.edu> wrote:
> >>
> >> On Monday, August 1, 2011, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> >>> On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay <eli at barzilay.org> wrote:
> >>>> About a minute ago, Vincent St-Amour wrote:
> >>>>> - Typed Racket now optimizes at the REPL and inside typed regions.
> >>>>
> >>>> This sounds too uninteresting for most users.
> >>>
> >>> Have we run out of space for release notes?  This certainly isn't as
> >>> important as places, but I think we should err on the side of more
> >>> rather than less in the release notes.
> >>
> >> This doesn't make any sense to me so I expect people who read release
> notes
> >> will be even more confused.
> >
> > Then we should clarify.  Does the following help?
> >
> > The Typed Racket optimizer now applies to typed programs entered at
> > the REPL and inside of typed regions created by `with-type', not just
> > to modules written in the `typed/*' family of languages.
> >
> > --
> > sam th
> > samth at ccs.neu.edu
> >

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!