-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Eduardo Cavazos wrote:
> Hello,
>
> Does that have a name in wide use? It can be used it to map over a bunch
> of procedures, calling each with 'x'. I.e.:
>
> (define (arg x)
> (lambda (f)
> (f x)))
In math texts I would call that function $\mathrm{ev}$ and write (ev 3) as
$\mathrm{ev}_3$. Then ((ev 3) f) becomes $\mathrm{ev}_3 f$ I thought this was
standard (like `id' for the identity function), but I cannot seem to find any
sources to point to.
Marijn
- --
If you cannot read my mind, then listen to what I say.
Marijn Schouten (hkBst), Gentoo Lisp project, Gentoo ML
<http://www.gentoo.org/proj/en/lisp/>, #gentoo-{lisp,ml} on FreeNode
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAkpA2UoACgkQp/VmCx0OL2w0GQCgmlTpAprCYFi96/BsYyrzV54J
ZzUAnRvbN4jiKCJq/sPMXO7xLdDJIHH5
=68pk
-----END PGP SIGNATURE-----