| 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. Shriram
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}