| ▲ | irishcoffee 15 hours ago | |
Pardon my ignorance, isn't that a lambda in c++? | ||
| ▲ | ndriscoll 15 hours ago | parent [-] | |
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. | ||