| 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. |
|
![[logo]](/logo.png){kind=logo}