>> I do not know Fortran but from the description above, this is similar in Ada: >> you cannot freely mix different pointers, and you cannot make a pointer out >> of any variable, unless variables are marked 'aliased'. This semantic is >> already expressed today in GCC trees, so I'm not sure what more/different >> you're suggesting though. >> >> Arno >> > I was more interested in the types rather that the variables and i was
I was describing both types and variables for Ada. > imprecise because I did not have access to good fortran information. The > issue that i was trying to get to was that in c and c++ the types do really > restrict what you can get to from a pointer, while in java they do. I I assume you meant 'do not really restrict' above. > suspect that in fortran they also do to but i do not know the language. In Ada as well. Arno