[plt-scheme] Predicates from Types

From: Sam TH (samth at ccs.neu.edu)
Date: Thu Apr 2 12:32:57 EDT 2009

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

Posted on the users mailing list.