Here's a question for C-Reduce users:
We try to give things canonical names to make test cases smaller and
easier to read. What naming scheme would you prefer?
Currently:
- functions are fn0, fn1, ...
- variables are a, b, ...
- classes are A, B, ...
What should we do for methods? Treat them like functions or use some
different prefix like "m"? Is there any value in giving pointers a
special prefix?
There's a spectrum here; at one end we have something like Hungarian
notation (which I realize nobody likes) and at the other hand we don't
need to do any encoding of types in the names at all. I'm curious what
people would prefer.
John
