OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

 


 

   Re: [xml-dev] Strong versus (weak|runtime) typing

[ Lists Home | Date Index | Thread Index ]

"Alaric B. Snell" <alaric@alaric-snell.com> writes:

> 3) Static typing does not have to mean declaring the type of every single 
> declaration. Type inferencing systems are statically typed, but declaring the 
> types is optional; eg, Haskell and ML.

Or PL/I that Sean mentioned. I seem to remember a variable was assumed
to be a double if its name started with 'n' and other types for other
initials. So when you made a typo, nubmer_of_things was was not
reported as an error but rather contained garbage, and possibly of a
different type than what you expected. But of course it all worked
through autoconversions, until you suddenly got an underflow on what
you thought was an integer.

Ari.





 

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS