Y a-t-il un nom commun pour la fonction f (a b) = b (a)?

Question

Le type de cette fonction est T -> (T -> U) -> U. Je crois que dans Haskell, ce serait quelque chose comme ($ . flip).

Ou, dans une perspective orientée objet (ce qui est la façon dont je l'ai regardé il):

type T { 
    U myFunction(f: T -> U) { 
     return f(this); 
    } 
} 

J'ai appelé il « dans » dans mes notes, et en utilisant un seul flèche (->) en tant qu'opérateur. Il est analogue à la fonction map, mais pour un scalaire:

 a.into f = f(a) 
[a, b, c].map f = [f(a), f(b), f(c)] 

Exemples d'applications pratiques:

42 -> Math.sqrt 
foo.bar.into(doSomething).baz.into(doSomethingElse).xyzzy 
(rather than doSomethingElse(doSomething(foo.bar).baz).xyzzy) 

Answer 1

Il ressemble à F # a cette fonction. La fonction ne semble pas être nommée, mais les opérateurs sont connus comme l'opérateur de pipeline. http://msdn.microsoft.com/en-us/library/dd233229.aspx

let result = 100 |> function1 |> function2 

Dans Haskell, il est flip id. Un certain paquet facétieux appelé data-aviary le définit comme thrush. Is there an inverse of the Haskell $ operator?