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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Wed May 25 15:53:47 EDT 2011

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

Posted on the dev mailing list.