Functional Programmers be like

I love the phrase “intellectual masturbation.”

IO.println is Tsoding an one step of been a Java developer. 😂

I want a syscall monad, that way you know which code paths are non-deterministic. (or maybe that's what IO does idk)

Python is the evolutionary crab of programming Everything will become python eventually.

some mfphers writing python and it's libraries in C.

I always nod sagely when someone uses the term "a monoid in the category of endofunctor" to describe their code. That's a very important touch

This just proves that Python is the best language of all time.

Intellectual masturbation is a subclass of masturbation and has only impure functions implemented

when you finally understand monads you become legally required to explain them badly to everyone you meet

That guy sure knows a lot about masturbation.

at least the semantic is clearer

This is such a bad take it's enough for me to finally mute this clown.

It had to be said! Monads are hard to grasp, because it solves a problem that nobody has

What is he even talking about? Correct by construction != python

I dont know lean, but speaking about haskell, no, its not about python. 1) You can add curly braket and semi column if you like 2) you can : do { x <- foo; y <- bar; return x + y; } and it doesn't go anywhere close to what you can do with python's syntax.

Within cells interlinked

We have type systems for effects

lol! He’s pissed today!

Sees def -> python syntax. Why don’t you rather make a notation to give you C syntax if it matters. It would take <10 loCs

But you see, in evil procedural style you modify the world while here in functional world you safely modify a copy of the world and throw the old world into the garbage.

Point free programming, when you're too lazy to write a lambda

this is true i was the foo and my friend was the bar

I’m curious what your take on pic assembly would be :) I’m struggling today.

we know of your haskell years bro

Snakes can be so hypnotizing🐍

You python can't do this tho: main = putStrLn "Hello, world!" >> putStrLn "Foo, bar"

It can

Saying this about lean is kind of trolling tho