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

On May 25, 2011, at 10:58 PM, Eli Barzilay wrote:

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


That's what I said to you yesterday :-)