in reply to Re^4: == and != don't work as expected
in thread == and != don't work as expected

Under your definition it does not sound as if any languages are strongly typed. I have always heard people refer to C, C++, and Java as "strongly typed" languages. Somebody's making a mistake with the definitions here though, and I have trouble accepting a definition of "typing" which does not allow any languages to be strongly typed...

Want to support the EFF and FSF by buying cool stuff? Click here.

Replies are listed 'Best First'.
Re^6: == and != don't work as expected
by chromatic (Archbishop) on Aug 27, 2004 at 16:34 UTC

    There are languages with good static type systems, including Haskell and ML. I suspect the people you overheard know nothing about these languages.

    For more information, see MJD's Strong Typing lecture slides or almost every other discussion on Lambda the Ultimate.