spir <denis.s...@gmail.com>:

> Theoretically speaking, I'm all for type checking; and for programming
> discipline in general. But in practice I never get type errors.

Then you are either a genius or you are using not enough types. ;)

> So, a few questions:
> * Do you get type errors?

Occasionally, yes.

> (playing the devil's advocate:)
> * What is type checking _actually_ useful for?

Type checking only does not help anything. You need to make use of types to 
actually benefit from such checks. If everything in your program is either 
integer or float, then the probability of catching errors through the type 
checking system is rather low indeed.

> * What about a compiler without type-checking?

There are already too many of them. :-P


Vinzent.

-- 
GMX DSL: Internet-, Telefon- und Handy-Flat ab 19,99 EUR/mtl.  
Bis zu 150 EUR Startguthaben inklusive! http://portal.gmx.net/de/go/dsl
_______________________________________________
fpc-pascal maillist  -  fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-pascal

Reply via email to