Subject: Re: type safety
From: Matthias Felleisen (email@example.com)
Date: Mon Feb 04 2002 - 10:58:35 EST
No no no. Typed programs go wrong when they signal a type error.
The type soundness theorem is nothing more than a semantics coherence
theorem that says there should be no other behavior.
If the VM/compiler doesn't live up to that, it is wrong. It's its
This archive was generated by hypermail 2b28 : Mon Feb 04 2002 - 10:58:37 EST