Ok, this is going to be my last mail in this discussion (we have a sentence for this in spanish: don't try to teach play flute to a donkey, because first you waste your time, and second you disturb the donkey).
> > If you want detect this kind of errors you can apply another techniques, > > but not the type system. If you have a variable that is a integer count, > > then the correct type is an integer. > > Are you saying we should not use a tool to help with a problem if it > is not able to help with every similar problems ? What part of 'another techniques' you don't understand? Use the correct tool for this topic, and type system is not the correct tool here. In fact I cannot remember the last time I had an error like this you are describing, do you have them usually? maybe you should change your way of coding and avoid them, or maybe you just realized you don't have them? > Oh boy, you don't know much about C++ do you, of course a char* is Today is one of my happiest days, I just realized that after a lot of years I am beginning to forgive c++. Thank you for showing it to me. Regards, -- Roberto E. Vargas Caballero