Function 函数f(ab)=b(a)是否有一个通用名称?

Function 函数f(ab)=b(a)是否有一个通用名称?,function,terminology,Function,Terminology,此函数的类型为T->(T->U)->U。我相信在Haskell中,它类似于($.flip) 或者,从面向对象的角度来看(这是我一直以来的看法): 在我的笔记中,我一直将其称为“into”,并使用单个箭头(->)作为运算符。它类似于map函数,但对于标量: a.into f = f(a) [a, b, c].map f = [f(a), f(b), f(c)] 实际应用示例: 42 -> Math.sqrt foo.bar.into(doSomething).baz.int

此函数的类型为
T->(T->U)->U
。我相信在Haskell中,它类似于
($.flip)

或者,从面向对象的角度来看(这是我一直以来的看法):

在我的笔记中,我一直将其称为“into”,并使用单个箭头(
->
)作为运算符。它类似于
map
函数,但对于标量:

       a.into f =  f(a)
[a, b, c].map f = [f(a), f(b), f(c)]
实际应用示例:

42 -> Math.sqrt
foo.bar.into(doSomething).baz.into(doSomethingElse).xyzzy
(rather than doSomethingElse(doSomething(foo.bar).baz).xyzzy)
看起来F#有这个功能。函数似乎没有命名,但操作符称为管道操作符

在Haskell中,它是
翻转id
。一个叫做data Avariy的滑稽软件包将其定义为
thrush

看起来F#有这个功能。函数似乎没有命名,但操作符称为管道操作符

在Haskell中,它是
翻转id
。一个叫做data Avariy的滑稽软件包将其定义为
thrush

42 -> Math.sqrt
foo.bar.into(doSomething).baz.into(doSomethingElse).xyzzy
(rather than doSomethingElse(doSomething(foo.bar).baz).xyzzy)
let result = 100 |> function1 |> function2