Re: type safety

Subject: Re: type safety
From: Matthias Felleisen (
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

-- Matthias

This archive was generated by hypermail 2b28 : Mon Feb 04 2002 - 10:58:37 EST