[plt-dev] Release Announcement for v4.2.5 -- 2nd call

From: Eli Barzilay (eli at barzilay.org)
Date: Fri Apr 2 11:43:56 EDT 2010

On Apr  2, Carl Eastlund wrote:
> On Fri, Apr 2, 2010 at 11:33 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> > On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <eli at barzilay.org> wrote:
> >> Sam:
> >>  - Add `define-predicate'; add `with-type' for defintions; New TS
> >>    guide.  (Maybe more?)
> >
> > How about:
> >
> > Typed Scheme now supports automatic construction of predicates
> > with `define-predicate'.  Regions of code can be typechecked with
> > the `with-type' form.
> You should probably spell out what kind of predicates you mean
> (type-based ones, presumably) and what you mean by "regions of
> code".

Same comment as I told Carl: some more approachable text in what users
see.  "automatic construction of predicates" doesn't say much to me,
and as for regions -- does this mean that I require `with-type' into
any other language?  (If so, that sentence is obscure too.)

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

Posted on the dev mailing list.