Peter Loron wrote:

> I'm a major fan of type checking. 

but he also wrote

 > Yes, you can help the programmer along by forcing these restrictions
 > or conventions into the language/interpreter/compiler. > So often 
I've spent a lot of time
> with the devs chasing down some odd problem only to have it turn out  
> to be a problem with an unexpected type change that wasn't caught by  
> input validation. 

I smell a contradiction here!

Enforcing type correctness (in the strongly-typed-languages 
interpretation) is widely accepted (but not everywhere, think Smalltalk, 
and it is not the only possible interpretation, think Haskell and its 
relatives). Enforcing indendation to conform to the syntactic structure 
is much less comon (AFAIK found only ABC and its decendants, with Python 
as most succesfull).

-- 

Wouter van Ooijen

-- -------------------------------------------
Van Ooijen Technische Informatica: www.voti.nl
consultancy, development, PICmicro products
docent Hogeschool van Utrecht: www.voti.nl/hvu

-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist