[racket] Question about match in typed/racket

> 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
this:

    https://github.com/dyoo/whalesong/blob/master/compiler/compiler-helper.rkt