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

From: Eli Barzilay (eli at barzilay.org)
Date: Wed May 25 22:58:35 EDT 2011

20 minutes ago, Matthias Felleisen wrote:
> In what sense did you screw up? Even in ML all you get is a warning
> that your cases aren't exhaustive -- and so you get a run-time
> exception. So what? Run-time exceptions are a part of the standard
> type soundness theorem. -- Matthias

Having these errors detected at compile time are a huge win in my

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

Posted on the dev mailing list.