On Apr 2, Carl Eastlund wrote:
> On Fri, Apr 2, 2010 at 11:33 AM, Sam Tobin-Hochstadt <[email protected]>
> wrote:
> > On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <[email protected]> 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!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
