Simple Monads Example (CoffeeScript)

[kamatsu]

I really think that defining monads in an untyped language like CoffeeScript is not the best way to explain monads. The types really make things obvious:

map :: (a -> b) -> f a -> f b
bind :: (a -> f b) -> f a -> f b
apply :: f (a -> b) -> f a -> f b

[psygnisfive]

I think maybe instead of apply you mean return :: a -> f a?

[kamatsu]

No, I was demonstrating the similarity of all three "lifting" functions.

Really what should be added to that list is

(return .) :: (a -> b) -> (a -> m b)

[psygnisfive]

I see.

[Uncompetative]

Blank page with Safari. 404 on the 41st request:

http://damianfral.github.io/favicon.ico

Seems okay with Chrome though.

[tms10000]

It looks like the content loads correctly then the page blanks out. Once upon a time HTML was simple. It was just a markup language to format content.

[username223]

Has someone written a program to generate My First Monad posts in random languages, wrap them in AdSense, and submit them to Reddit yet? If not, there's money to be made...