967

submitted 1 week ago by muhyb@programming.dev to c/programmer_humor@programming.dev

79 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] tetris11@feddit.uk 11 points 1 week ago* (last edited 1 week ago)

The Fixed Point Expression / Y Combinator expressed in horses:

    Y = (λ f. (λ x. f(xx))(λ x. f(xx)))
    ;; so then, give Y a horse argument with apple parameters:
    Y🐎️ = (λ f. (λ 🍎.  f(🍎🍎)) (λ 🍎. f(🍎🍎))) 🐎️   ;; [1]
        =       (λ 🍎. 🐎️(🍎🍎)) (λ 🍎. 🐎️(🍎🍎))      ;; [2]
        = 🐎️(   (λ 🍎. 🐎️(🍎🍎)) (λ 🍎. 🐎️(🍎🍎))   )  ;; [3]
        = 🐎️(Y🐎️)                                       ;; [4]

Explanation

1: x is 🍎, but could be anything. It's just a function parameter nested within another.
2: λf gets executed and vanishes from the left, substituting f internally with 🐎️. This is now a new function, with left group as the function body, and right group as the function argument, despite being identical.
3: λ🍎 gets executed and vanishes from the left, substituting 🍎 with (λ 🍎. 🐎️(🍎🍎))
4: Everything within the main brackets at [3] has been seen before at [1], but with f being 🐎. Thus we have bred a new horse. We can breed infinite horses this way

this post was submitted on 22 Oct 2026

967 points (98.5% liked)

Programmer Humor

33957 readers

540 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

Keep content in english
No advertisements
Posts must be related to programming or programmer topics
- If the mod doesn't find it funny, you're banned. Ha-ha!... For real: do not use the community for "statements". There are other places for such content. Keep it chill and funny.

founded 3 years ago

MODERATORS

Feyter@programming.dev

anzo@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev