I've heard "evaluation map" for a related mathematical concept: the natural map
from X to (X -> Y) -> Y in some cartesian closed category (whatever that means
:-), like the natural embedding of a vector space into its double dual space,
or like this sort of eval_at function that you can then plug into map:
def eval_at(x):
return lambda f: f(x)
list(map(eval_at(arg), functions))
It also reminds me of a Clojure feature, where IIRC a key can be used as a
function so that `(:key mymap)` and `(mymap :key)` both mean "the value in
`mymap` corresponding to the key `:key`"
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-le...@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at
https://mail.python.org/archives/list/python-ideas@python.org/message/YFYX76ORCN4VTP2YZFWIBFIJDZ7MF7XZ/
Code of Conduct: http://python.org/psf/codeofconduct/
