In functional programming, everything is an expression (of frustration).
this post was submitted on 16 Jan 2025
251 points (96.0% liked)
Programmer Humor
33090 readers
316 users here now
Post funny things about programming here! (Or just rant about your favourite programming language.)
Rules:
- Posts must be relevant to programming, programmers, or computer science.
- No NSFW content.
- Jokes must be in good taste. No hate speech, bigotry, etc.
founded 5 years ago
MODERATORS
Y=λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬))
Y😄 = (λf.(λ🤬.f(🤬🤬))(λ🤬.f(🤬🤬)))😄
= (λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬))
= 😄((λ🤬.😄(🤬🤬))(λ🤬.😄(🤬🤬)))
= 😄(Y😄)
Having worked for nearly two decades in a functional language now, that's precisely how I feel about the imperative style.
In imperative style, everything is an instruction (to suffer)
😆
If you are bored of writing Brainfuck in your spare time, try Lambda Calculus instead as an exciting alternative!
Id rather cut of my li,bs with a handsaw than touch lambda calculus again
It would be extremely annoying to be forced to write all my code functionally.
But I find it even more annoying to be forced to write all my code object oriented. Looking at you, python and java.
C++. Do whatever the hell you want, it doesn't care. Mix paradigms all day long.
People complain about its complexity and the fact that it has everything including the kitchen sink, but that is exactly why I love it. It gives you choice.
C++: You can do everything, but with garbage syntax and ten traps to look out for™
Yes, look out for the leg bombs.
If choice is our metric here, why not C? That way, you have the choice to use your own implementation of OOP
Bro just finds it annoying to write code
Nah, coding is one of the few things I don't find annoying, so long as the language or toolsets I'm using allow for freedom. What I find annoying is when some talking head says all code should be a certain way, and everybody believes them for some reason.
What I find annoying is when some talking head says all code should be a certain way,
It's quite useful to have "all code be a certain way" within a language ecosystem. E.g. Haskell requiring all pure functions be actually pure is amazing because you know that any function from any library doesn't perform some stupid side effect when you call it, and just processes its inputs into an output. Of course, functional programming tools can be useful even outside purely functional languages, but having those important properties be ecosystem-wide makes you feel much more comfortable, and produces much better, safer and more reliable code in the end.
Unless you're writing Scala or something (which is probably the one exception to the rule), if you are using a language that supports OOP, you're not really doing functional programming. Functional-esque features that have made their way into imperative languages like map are only a tiny fraction of the functional toolbox.
There's a bunch of features you want in a language to do functional programming, and imperative languages don't really have them, like purity by default (and consequently, an orientation towards values rather than references) ergonomic function composition, algebraic data types, pattern matching, support for treating everything as first class expressions/values, etc.
Perhaps this is presumptious (and I apologize in advance if so), but I'd wager you haven't truly programmed in the functional paradigm. What imperative programmers tend to think of functional programming is very surface-level and not really reflective of what it actually is. It's an entirely different beast from imperative programming. It requires a shift of your mindset and how you think about programs as a whole.
Source: Senior software engineer writing Haskell full time for the last 4 years. Will avoid OOP until my dying breath.
Not sure why you're saying Python forces everything to be object oriented...?
It basically does. It pretends to court functional programming while actually being really antithetical to it in basically every way. Guido Van Rossum has vocally expressed his dislike for functional programming (though I'd argue he actually doesn't really know much about it).
I’ve been there. It’s great!
But how many burritos is that.
But how many burritos is that.
Lets find out! Count = λB. (B (λx. (x + 1)) 0)
3 its 3 burriotos you're going to have to pop out and get 8 more for the other commenters