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

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Dec 13 14:14:36 EST 2009

>  Languages like C++ can certainly be considered to have type systems.
> Bad type systems, if you like.

No, the case is much more subtle.  C++ (and C) have two distinct type
systems.  The problem is that these two don't line up.


Posted on the users mailing list.