Quel est le nom de λx.λf.fx dans le calcul lambda?
La fonction correspondante a-t-elle un nom standard dans les langages de programmation fonctionnels, comme Haskell?
Dans la programmation orientée objet, existe-t-il un nom habituel pour une méthode foo
qui prend une fonction en argument, telle qu'elle x.foo(f)
retourne f(x)
?