[racket-dev] type-case + typed racket yet?

On Wed, May 25, 2011 at 12:27 PM, John Clements
<clements at brinckerhoff.org> wrote:
> Is there a "best-practice" model for type-case-like things in typed racket yet? Obvious choices:
>
> - tagged-list style, it's all a big cond but I have to use first, second, etc to refer to fields
> - struct-union style, feels better but I don't get to use match (IIUC).

`match' and unions of structs should work fine together in Typed Racket.
-- 
sam th
samth at ccs.neu.edu