On Wed, Dec 21, 2011 at 9:16 PM, Steven D'Aprano firstname.lastname@example.org wrote:
I think that weak and strong typing aren't dichotomies, but extremes in a continuum. Most languages include elements of both weak and strong typing, particularly coercion of ints to floats.
Chris Smith's influential article "What To Know Before Debating Type Systems" goes further, suggesting that weak and strong typing are meaningless terms. I don't go that far, but you should read his article:
Yeah, I'd only ever encountered weak/strong under the meanings I gave, but the Wikipedia article Terry linked was eye-opening (and does indeed suggest that if you're going to use weak/strong as terms, it's necessary to define them in situ).