查找haskell高阶函数

Question

将列表压缩到自身的函数可以定义为:

let adjacent1 l = zip l $ tail l

这有效,但我想以无点样式定义它.为此,我定义了一个函数dollarize:

let dollarize f1 f2 x = f1 x $ f2 x
let adjacent1 = dollarize zip tail

这很有效,但显然我不想定义自己的高阶函数.有没有办法找到标准的等价物dollarize,假设它存在？如果没有,这种功能在哪里组合功能？

Answer 1

该pointfree工具可以自动为您完成此操作.

$ pointfree "\l -> zip l (tail l)"
ap zip tail
$ pointfree "\f1 f2 x -> f1 x $ f2 x"
ap

Answer 2

如何使用Applicative实例(->) a？

Prelude Control.Applicative> :t zip <*> tail
zip  <*> tail :: [a] -> [(a, a)]
Prelude Control.Applicative> zip <*> tail $ [1 .. 4]
[(1,2),(2,3),(3,4)]

简短又甜蜜.