[plt-scheme] Predicates from Types

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Thu Apr 2 09:42:08 EDT 2009

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

Posted on the users mailing list.