[racket] [typed racket] type case

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Thu Oct 20 10:48:22 EDT 2011

Hi again,

Is there a mechanism to do an exhaustive type case?

I know I can use (cond [(type-pred? v) ...]

but of course I have no guarantee that I am exhaustive (and of course, doing pattern matching to destruct the value would be even nicer). 

Basically, I guess I'm after the typed version of PLAI's type-case.


-- Éric

Posted on the users mailing list.