Re: type safety
Subject: Re: type safety
From: Matthias Felleisen <firstname.lastname@example.org>
Date: Sat, 1 Jan 2000 14:37:47 -0600 (CST)
In-reply-to: <200001011542.KAA01878@localhost.localdomain> (message from Greg Morrisett on Thu, 30 Dec 1999 13:53:31 -0500)
Both you[Corky] and Matthias seem to want to throw
out static typing because it will never be complete.
Greg, with all due respect, that's plain silly and you know it.
Our intention is to discern the role of "safe" vs "type" and to
understand how we can improve programs, with type systems and