If it typecheks ship it! XD

http://joyful.com/blog/2015-04-20-ssh-darcs-hub-vulnerability.html

Well typed programs don't go wrong!

>>12

But it's the sort of tool that's there to keep you from jamming your elbow up your nose.

No, it's not.

>>16

But the tool wasn't used incorrectly in this case.

I can't say it was used incorrectly because I am not sure it was used at all. I can say it was not used correctly.

The "well-typed" part is your responsibility. If you're going to criticize Milner, you should read him and criticize him for what he said, not for what you think he said.

It's like that time Babbage was asked whether the machine would produce the correct result given the wrong input. The only answer to that is: "what the fuck is wrong with you?"

So. What the fuck is wrong with you?

Just that Haskell's doesn't come near what its supporters profecize it to be.

Oh? What do they 'profecize' it to be? Do they all, or just most of them? Or just some of them? Or just that one dickhole trolling you on /prog/? Or did you learn what Haskellers think from reddit?