type safety

Subject: type safety
From: Matthias Felleisen (matthias@ccs.neu.edu)
Date: Sat Feb 02 2002 - 18:49:36 EST

After significant pondering, I have come to the conclusion that Milner
should have said

 Typed programs don't go wrong __as often__.

There is still the issue of "going wrong C-style" (when the compile-time
type checker gives you absolutely no hints about why a program may have
crashed or why it may produce a random value). I begin to believe that
nothing short of a compiler-correctness theorem can express this issue.

-- Matthias

This archive was generated by hypermail 2b28 : Sat Feb 02 2002 - 18:49:37 EST