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.