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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sun Dec 13 18:20:20 EST 2009

The explanation of C's type system explicitly states
that types predict the number of bits allocated. If
you take this seriously, the type system is "bits"
and it's universal -- just like in plain Scheme, just 
a lower level. 

The problem with C++ is that it pretends to provide
a lot more when it comes to types, and it all becomes

He was the wrong man at the right place ... 

On Dec 13, 2009, at 4:36 PM, hendrik at topoi.pooq.com wrote:

> 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
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.