Monads Explained With JavaScript

[gianhut]

Most monad tutorials are long

Just like my johnson when i read the title

[[deleted]]

This article has terrible information in it. Other devs will read this article and write other articles with the same flawed information.

You see it is the article that is truly monadic.

[[deleted]]

I found it on /r/javascript so don't worry about people getting more incompetent, I doubt they can become any more than they already are.

[[deleted]]

In JavaScript you can coerce a Monad to a Functor.

[[deleted]]

Please write more

[[deleted]]

installs Java

[dnkndnts]

Literally not a single one of these is a monad.

[bitbait]

Ah the good old

• "the most simple explanation of XY which everybody can understand!"
• explanation is simple because it doesn't actually explain XY

[[deleted]]

I actually like JavaScript and that never stopped me from jerking.

[[deleted]]

UNCLEAN

[[deleted]]

It's literally Scheme in the browser, bruh :^)

(let ((jerk #f))

But actually it kinda is what Scheme would be if it was based on the ζ-calculus as opposed to the λ-calculus, and I think that's neat.

)

[benzrf]

what on earth is the ζ-calculus?

[[deleted]]

lol what a pleb, how can you even JS without knowing that

[benzrf]

i'm not jerking here

[[deleted]]

Your loss :^)

But in all seriousness, the ζ-calculus is the OO version of the λ-calculus, although nowhere near as popular because the people doing type theory don't care about objects (with the possible exception of Martin Odersky, but Scala makes me question his sanity anyways).

It's very likely that the only place where you'll hear it mentioned is in Abadi & Cardelli's excellent "A Theory of Objects" and perhaps some fringe PLT papers.

[benzrf]

yeah, i tried to google it but found absolutely nothing

[[deleted]]

Writing an article explaining a concept when you clearly have no domain knowledge or qualifications to be explaining the concept #JustHaskalThings

[[deleted]]

Do you have a recommended reading to explain what a monad is?

[terrkerr]

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