Hello,
Theoretically speaking, I'm all for type checking; and for programming
discipline in general. But in practice I never get type errors. What the
compiler complains about is all kinds of plain grammatical errors:
* typos
* missing ';' (many)
* wrong number of 'end'
* name error
* signature error (forgot to change proc/func declaration after editing
definition)
But errors like the folllowing, never:
trial.pas(14,7) Error: Incompatible types: got "Extended" expected "LongInt"
[source:
program trial;
var
n : Integer;
begin
n := 1.1;
end.
]
The only kind of type error I get is when I forget to "cast back" a pointer
from a pointer collection such as TFPList.
So, a few questions:
* Do you get type errors?
(playing the devil's advocate:)
* What is type checking _actually_ useful for?
* What about a compiler without type-checking?
Denis
________________________________
vit esse estrany ☣
spir.wikidot.com
_______________________________________________
fpc-pascal maillist - fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-pascal
