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

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
course.

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