[plt-scheme] Predicates from Types

On Thu, Apr 2, 2009 at 11:59 AM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> What if X and p don't actually match?

X and p must match - the type system requires this.  The type I
proposed for the `Predicate?' function will only work if `Predicate?'
is implemented such that it is a predicate for the `Predicate' type.

-- 
sam th
samth at ccs.neu.edu