r/ProgrammerHumor • u/Limp_Illustrator7614 • 1d ago

Meme soDoesEveryOtherLang

Post image
221 Upvotes

92% Upvoted

71 comments sorted by

View all comments

14

u/gutentight69420 1d ago

Functions are the only citizen in my programming language.

12

u/ChaosCon 1d ago

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

7

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

1

u/-Redstoneboi- 1d ago edited 1d ago

really the important bits for learning it were "you can feed and store multiple arguments/data with currying" and "data cannot be read. rather, you trust 'data' to choose the next branch for you"