[plt-scheme] instanceof equivalent in Typed Scheme?

From: Todd O'Bryan (toddobryan at gmail.com)
Date: Tue Jun 9 14:59:15 EDT 2009

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.


Posted on the users mailing list.