[plt-dev] coding ideas from JaneStreet

From: Eli Barzilay (eli at barzilay.org)
Date: Tue Apr 13 11:35:44 EDT 2010

On Apr 13, Sam Tobin-Hochstadt wrote:
> On Tue, Apr 13, 2010 at 4:42 AM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> >
> > Awesome, this one of my favourite features missing in
> > Scheme. Hopefully we will see this soon in TS, Sam?
> Yes, we will hopefully soon see the form Eli describes.  But it
> won't give you exhaustiveness checking in general for `match',
> that's much harder.

Will it provide exhaustiveness if you use only defined types?
(AFAICT, that'll be sufficient to say that we get the ML advantage
that Yaron talked about.)

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.