[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: Strong versus (weak|runtime) typing

• To: "Alaric B. Snell" <alaric@a...>
• Subject: Re: Strong versus (weak|runtime) typing
• From: ari@c... (K. Ari Krupnikov)
• Date: 18 Feb 2003 11:38:56 +0000
• Cc: Sean McGrath <sean.mcgrath@p...>, xml-dev@l...
• In-reply-to: <E18jIox-0003t8-00@c...>
• References: <5.1.0.14.0.20030212222755.027e9db8@m...><5.1.0.14.0.20030213095526.03075828@m...><E18jIox-0003t8-00@c...>
• User-agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7

"Alaric B. Snell" <alaric@a...> 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.

• Follow-Ups:
  • Re: Strong versus (weak|runtime) typing
    • From: "Alaric B. Snell" <alaric@a...>

• References:
  • RE: Strong versus (weak|runtime) typing
    • From: Sean McGrath <sean.mcgrath@p...>
  • Re: Strong versus (weak|runtime) typing
    • From: Sean McGrath <sean.mcgrath@p...>
  • Re: Strong versus (weak|runtime) typing
    • From: "Alaric B. Snell" <alaric@a...>

• Prev by Date: Re: RelaxNG problem about section 7.4. Restrictions on interleave
• Next by Date: Re: Strong versus (weak|runtime) typing
• Previous by thread: Re: Strong versus (weak|runtime) typing
• Next by thread: Re: Strong versus (weak|runtime) typing
• Index(es):
  • Date
  • Thread