[PRL] the "success" of types

[Matthias Felleisen]

On May 20, 2006, at 4:59 PM, Felix S Klock II wrote:

> So, again, my question: why was this a counterexample to John's claim 
> that you can't express what he wants in Java?  (I believe C#, on the 
> other hand, carries the type instantiation information around, so it 
> should be possible for it to detect the error during the evaluation of 
> the cast expressions.  But that wasn't what John was pointing out.)

The authors of C# indeed claim this. Could someone with .Net Scheme 
experience check this for us? -- Matthias