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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu May 26 08:02:08 EDT 2011

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 :-) 

Posted on the dev mailing list.