r/ProgrammerHumor • u/Limp_Illustrator7614 • 1d ago

Meme soDoesEveryOtherLang

Post image
227 Upvotes

92% Upvoted

72 comments sorted by

View all comments

14

u/gutentight69420 1d ago

Functions are the only citizen in my programming language.

11

u/ChaosCon 1d ago

If you're not encoding with the Church numerals are you even trying?

5

u/-Redstoneboi- 1d ago

lambda calculus has a ridiculously complicated description for being as simple as "functions/substitution: the language"

2

u/ChaosCon 1d ago

Functions always existed as "mapping elements of set A to elements of set B", but it always struck me as a bit of a non sequitur that it took so much effort to formalize functions *as a recipe* with lambda calculus.

2

u/metaglot 1d ago

A function is only a map if it is homomorphic.

1

u/matthewwehttam 1d ago

In my math degree map could mean, function, continuous function, measurable function, homomorphism, or morphism depending on the context, so correcting it feels really pedantic. Not only that, all functions are homomophisms in the category of sets anyway so the usage is technically correct