Faggot quotes

http://imgur.com/AuCHJIF
No comment.

THE OPTIONAL FAGGOT QUOTING OF NON-INFIX FUNCTIONS

_{^{FIOC is catchier.}}

I can over see the faggot quotes for the advantage that Haskell gives me in every other part of the language.

Why windows? do you hate freedom?

>>4
My mom would not hear about buying a laptop without preinstalled OS. She almost cried when I insisted.

>>5
Spank her after you cum on her hair

>>6
There's plenty of other women to do that to. Mom is love, mom is life.

>>3
Can you explain how category theory is involved with Haskell? I /think/ it has to do with the Hindley-Milner type system. I have not read much on this (I do know the basic facts about it though). I've also found this just now: http://en.wikibooks.org/wiki/Haskell/Category_theory
which enforces my view that category theory is involved with Haskell only on types and not on anything else. I'm not sure if I'm right though, and I don't know enough about Haskell. Actually, I know almost nothing as I've written 0 programs in Haskell.

>>8
it's really not, they just pretend it is to wow people about how smart they are - but it's not real category theory. Don't let the haskeliars trick you.

>>8
I second that >>9
Haskell types do not form a category because of bottoms. Thus Haskell monads are not endofunctors and it's even impossible to express the specification that a member of the monad class must satisfy the monad laws. Such a thing is possible with dependent types only, e.g. in Agda.
However you should also read the "Fast&loose reasoning" paper by some really cool Swedes:
http://www.cse.chalmers.se/~nad/publications/danielsson-et-al-popl2006.html
They show that the lack of mathematical rigor is not so bad and build an actual category within Haskell.

OFQONIF

Why was >>9 deleted? It was a fine post. Did admin decide to become a faglord?

>>12
See https://bbs.progrider.org/prog/read/1398501860

>>12
>>9 is mediocre at best

>>10

They show that the lack of mathematical rigor is not so bad and build an actual category within Haskell.

That's what the JavaScript appers say. You can build "monads" in JavaScript too.

>>10
Haskell was meant as a community language that would serve as a playground of new ideas and a stepping stone to the more hardcore stuff like dependent types. It turned out that most people can barely reach that stepping stone and don't have the balls to cross over into categorical heaven.

>>16
Haskell is domain theory: pointers, garbage collection, stacks, and thunks.