C Style
Before changing C it is essential to understand what it is and why it is the way it is.
Each language has a particular style differentiating it from other languages and establishing the niche of problems it handles well.
What can be done to C before people say "but that's not C!".
So as not to alienate existing C programmer, for whom Cforall is targeted, it is essential to maintain "C style".
What is the C style?
-
imperative
-
no garbage collection
-
address operator
-
coercions (type violations)
-
no nested routines
-
efficiency
-
storage management