Re: type safety


Subject: Re: type safety
From: Matthias Felleisen (matthias@ccs.neu.edu)
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
specification.

-- Matthias



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