[plt-dev] coding ideas from JaneStreet

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!