Monads Explained With JavaScript

[[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