(A discussion on the TYPES forum).
Though no one answers the original queston this discussion is a very interesting discussion on the notion of type safety in programming language theory. Safe vs. unsafe; soft typing; static vs. dynmaic etc.
Toward the middle the concept of data abstraction comes to center stage, and some messages discuss objects vs. closures etc.
Posted to theory by Ehud Lamm on 1/31/01; 9:00:06 AM