Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Monads. How do they work?

Name: OP !!2za6AlFUZfp0425 2010-10-02 18:16

I'm reading "Learn you a haskell for great good." I've gotten through most of it but I want to learn about Monads.

What the fuck are they?
What is their purpose?
How do they work?

Name: Anonymous 2010-10-02 18:19

Sages. How do they work?

Name: Anonymous 2010-10-02 18:22

You mad?

Name: Anonymous 2010-10-02 18:37

Read http://www.haskell.org/all_about_monads/html/.

Name: Anonymous 2010-10-02 18:41

>>4 Thanks anon

Name: Anonymous 2010-10-02 18:47

>>5
No ``anon'' here, champ.

Name: Anonymous 2010-10-02 18:52

>>6
No ``champ'' here, anon.

Name: Anonymous 2010-10-02 18:58

Sir—
Kindly note that it is good practice in /prog/ to sage1 each and every post. Please pay particular attention to avoid using imageboard jokes, as they subvert the subtle ways of /prog/ culture and are in general not very appreciated.

Also Monads are general abstract nonsense2. The purpose of the IO instance is to keep the filth of IO from infecting beautiful pure code by encapsulating it. The monad is quite simply a functor of a category to itself and it works as such3.

_______________________________________________
Notes:

1. noko is considered bad manners as it is not a sage !
2. http://en.wikipedia.org/wiki/Monad_(category_theory)
3. Note that Maybe is a Monad instance as much as [].

Name: Anonymous 2010-10-02 20:03

A monad is just a monoid in the category of endofunctors, what's the problem?

Name: not worth it 2010-10-02 21:57

Functor... of a category... to itself... Fuck. What kind of PhD I need to understand this sequence of letters?

Name: Anonymous 2010-10-03 2:33

>>8
I'm posting without a sage.

You mad?

Name: Anonymous 2010-10-03 2:47

>>11
I'm visibly upset.

Name: Anonymous 2010-10-03 2:48

>>8
Kindly note that it is good practice in /anus/ to sage[1 each and every post.
What about [b]Xarn/b]?

Name: Anonymous 2010-10-03 2:49

Shitty BBCode day, sorry.

Name: Anonymous 2010-10-03 2:54

that sucks maybe niggers should die

Name: Anonymous 2010-10-03 3:39

>>10
To truly understand it, you might get away with a measly Master's degree of mathematics specialising in Abstract Algebra or Topology.
To have a working knowledge of its inner function, you need only be trained as a monkey.

>>14
It happens to the best of us here in /anus/

>>13
Please get rid of the ``cult of personality'' way of thinking. It is unscientific and ultimately destructive.

Name: Anonymous 2010-10-03 3:58

>>13
What about Xarn?

Name: Anonymous 2010-10-03 3:59

>>17
I don't know who/what it is. Should I be ashamed? I'd rather not.

Name: Anonymous 2010-10-03 3:59

16  Name: Anonymous : 2010-10-03 03:39

    >>10
    To truly understand it, you might get away with a measly Master's degree of mathematics specialising in Abstract Algebra or Topology.
    To have a working knowledge of its inner function, you need only be trained as a monkey.

Name: Anonymous 2010-10-03 4:00

>>17
Xarn has a history of not sageing his posts.

Name: Anonymous 2010-10-03 4:02

>>20
That's a stupid lie. Xarn always sages his posts.

Name: Anonymous 2010-10-03 4:03

>>18
What is it with kids today and being unable to lurk until they sort of understand what a community is about and have a decent grasp on its history before posting in it?

Name: Anonymous 2010-10-03 4:11

>>21
That's not true and I am able to prove it, but I don't give enough of a fuck.
>>22
Have you seen the rest of the Internet? I recommend a look at GameFAQs. Nobody cares about forcing obsolete rules anymore.

Name: Anonymous 2010-10-03 4:29

>>23
I care, therefore you are mistaken.

Name: Anonymous 2010-10-03 4:30

>>23
The posts you're looking at were made before the sage meme took off, and were made when the threads they were made in were at the top of the front page anyway. I remember them.
All of his recent posts have been saged, and all of his anonymous ones are too.

If I have time later on I'll do a graph showing how sage use on /prog/ evolved over time. It's been a while since we had a history graph.

Have you seen the rest of the Internet? I recommend a look at GameFAQs.
Do we really have to be exactly as bad as the worst places on the Web?

Name: Anonymous 2010-10-03 4:51

>>24
I care, therefore you are mistaken.
You're not making any sense.

>>25
The posts you're looking at were made before the sage meme took off[…]
Now that I've seen these posts, you're right.

[…]and were made when the threads they were made in were at the top of the front page anyway.
Moot point, race condition, etc.

Do we really have to be exactly as bad as the worst places on the Web?
That was not an excuse or a justification but rather an explanation I have provided because most upstanding /prog/riders don't seem to be aware of the abysmal state of the outside Internet. (I only discovered it few months ago myself.)

Name: penis 2010-10-03 5:15

bump

Name: Anonymous 2010-10-03 6:19

>>26
Have you seen the rest of the Internet? I recommend a look at GameFAQs. Nobody cares about forcing obsolete rules anymore.

By stating that nobody (i.e. not a single person) cares, your statement is rendered false by a single person who cares. And I for one care about forcing obsolete rules1; therefore you are mistaken.

__________________________________________________
1. One word: The Forced Indentation of Code1, thread over.
   1. FIOC

Name: Anonymous 2010-10-03 15:37

A monad is like a closure of closures.

Name: Anonymous 2010-10-03 16:24

An IO Monad is like a tin can where you can put things which you can poke with a stick. And by tin can I mean an abstract data type and by things I mean computations and by stick I mean function binding.

Name: Anonymous 2010-12-17 1:39

This post brought to you by the Gay Nigger Association of America
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -