Not logged in
Log in now
Create an account
Subscribe to LWN
LWN.net Weekly Edition for May 16, 2013
A look at the PyPy 2.0 release
PostgreSQL 9.3 beta: Federated databases and more
LWN.net Weekly Edition for May 9, 2013
(Nearly) full tickless operation in 3.10
Has there ever been a tentative to push a "hardened C" standard, just C plus strong type-checking?
This makes me think...
Posted Jun 3, 2004 10:47 UTC (Thu) by dvdeug (subscriber, #10998)
Posted Jun 3, 2004 23:27 UTC (Thu) by bronson (subscriber, #4806)
Posted Jun 4, 2004 10:38 UTC (Fri) by dvdeug (subscriber, #10998)
Another problem with C++ is that C--especially real world C, but even standard C--and C++ aren't completely compatible either way. Stroustroup had to make a few minor tweaks that lost compatibility to make C++ work right. A strong-C is more than likely going to have a few edge cases where things don't work exactly the same.
To use a few preprocessor defines to remove the strong-C is going to hamstring your efforts; the differences are just not going to be that minimal, and that tightly limits your syntax. What you're asking for is basically the system described in the article, not a new language.
Posted Jun 3, 2004 11:34 UTC (Thu) by bdixon (subscriber, #1055)
Some of the MISRA rules, however, may not be compatible with systems programming.
Posted Jun 3, 2004 15:12 UTC (Thu) by mmarsh (subscriber, #17029)
Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds