[plt-scheme] Re: plt-scheme type of language

From: hendrik at topoi.pooq.com (hendrik at topoi.pooq.com)
Date: Sun Dec 13 16:36:57 EST 2009

On Sun, Dec 13, 2009 at 04:02:30PM -0500, Matthias Felleisen wrote:
> So one can now say that C/C++ have a type system but it is 
> unsound. It doesn't predict what happens at run-time. (They 
> also have one that is sound but the normal programmer doesn't
> even perceive this system.) 

What sound type system is this?  The one where everything has the type 
"binary gibberish"?

-- hendrik

Posted on the users mailing list.