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

let adjacent1 l = zip l $ tail l

这行得通,但我想以无点样式定义它。为此,我定义一个函数dollarize:
let dollarize f1 f2 x = f1 x $ f2 x
let adjacent1 = dollarize zip tail

这可行,但是显然我不想定义自己的高阶函数。假设存在,有没有办法找到dollarize的标准等效项?如果不是,那么将这些功能组合在一起的功能在哪里?

最佳答案

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

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

08-07 03:52