[racket] Question about match in typed/racket

From: Danny Yoo (dyoo at cs.wpi.edu)
Date: Thu Apr 12 00:21:08 EDT 2012

> I have recently been trying out typed/racket with an eye toward using it in
> my regular programming. I've hit a snag, and hopefully it's a newbie mistake
> that you folks can set right.

There's an escape hatch you can use with require/typed.

You can have a function in the untyped world translate your
s-expression into the typed structure.  For example, something like


Posted on the users mailing list.