Subject: type safety
From: Matthias Felleisen (firstname.lastname@example.org)
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.
This archive was generated by hypermail 2b28 : Sat Feb 02 2002 - 18:49:37 EST