>>9One could mistake you for Jumbo Whales, talking about Wikipedia vandalism.
Retard-level errors don't matter, just how inserting ``LOL DICKS'' into an article doesn't matter. The fatal errors are those where false but type-correct actions are performed (or, to keep up the analogy, where false but plausible information is inserted into an article).
``B-b-but if they had expressed verification through the type system that wouldn't have happened!'', you might say, but it doesn't matter. They didn't. It was a design failure that the type system didn't catch, couldn't catch.
And so, all Haskell weenies were fucked in the ass.