[plt-scheme] Predicates from Types

On Thu, Apr 2, 2009 at 1:11 PM, Sam TH <samth at ccs.neu.edu> wrote:
>
> This isn't related to type inference, so that's not correct.  But it
> doesn't change the behavior of the function (no type annotation ever
> changes the behavior of a Typed Scheme function).
>

So, I guess I didn't really get it. What is the annotation that a
function is a predicate for a type useful for?

> --
> sam th
> samth at ccs.neu.edu
>



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