[plt-scheme] instanceof equivalent in Typed Scheme?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Tue Jun 9 15:04:07 EDT 2009

It is impossible to check whether a function is of type (Integer ->  
Integer) or (X -> Void). -- Matthias



On Jun 9, 2009, at 2:59 PM, Todd O'Bryan wrote:

> Is there a way to check whether something is of a particular type?
>
> I know you can define a type-predicate with:
>
> (: Type? : Any -> Boolean : Type)
>
> but I assume if you define that incorrectly bad things will happen.
>
> Todd
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme



Posted on the users mailing list.