-----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-----

Reply via email to