[plt-scheme] Predicates from Types

From: Grant Rettke (grettke at acm.org)
Date: Thu Apr 2 10:02:05 EDT 2009

On Thu, Apr 2, 2009 at 7:52 AM, Sam TH <samth at ccs.neu.edu> wrote:
> If a function has the type (Any -> Boolean : T), then that function is
> a "predicate" for T (no relation to the "Predicate" in your mail).
> This means that using that function checks if a value of of that type.
>  `number?' is an excellent example here.  For example:

When you say Predicate in the example, do you mean the type for which
the Predicate? checks?

Posted on the users mailing list.