[plt-scheme] Predicates from Types

On Thu, Apr 2, 2009 at 2:02 PM, Grant Rettke <grettke at acm.org> wrote:
> 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?
>

Yes... Still couldn't understand its use though.

-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm