> >And, it will never replace Java, C, Python, or even PHP
> It already has.
Oh really? Significantly fewer systems are being developed in those languages? How about some evidence?
What? You meant that a couple of applications have been written in Haskell instead of those applications? That's not "replace".
Which reminds me - if I find an application that was written in Haskell that is being replaced by an implementation written in some other language, would you claim that said other language is "replacing" Haskell? If not, don't make the mirror-argument.
No one claims otherwise. However, that's true of Java's type system too.
> Why can't anyone follow a simple line of reasoning without resorting to fallacies?
I followed your simplistic line of reasoning just fine. It was wrong. Admit that and move on.
Of course you can't, which is how you got there.
The biggest obstacle to Haskell becoming more popular is its advocates.
And, it will never replace Java, C, Python, or even PHP. (One of my professional goals is to never use Java.)