[Prev][Next][Index][Thread]
Re: type safety
-
To: jgm@cs.cornell.edu
-
Subject: Re: type safety
-
From: Matthias Felleisen <matthias@cs.rice.edu>
-
Date: Sat, 1 Jan 2000 14:37:47 -0600 (CST)
-
CC: types@cis.upenn.edu
-
In-reply-to: <200001011542.KAA01878@localhost.localdomain> (message from Greg Morrisett on Thu, 30 Dec 1999 13:53:31 -0500)
-
References: <200001011542.KAA01878@localhost.localdomain>
-
Reply-to: matthias@rice.edu
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
other approaches.
-- Matthias