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

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".

--Carl