upvote
Pardon my ignorance, isn't that a lambda in c++?
reply
Yes, and in Java and other languages (e.g. in Lean you can literally use the syntax λ x ↦ x + 5). When OOP was more of the zeitgeist, these languages didn't have lambda functions.
reply