将列表压缩到自身的函数可以定义为:
let adjacent1 l = zip l $ tail l
这有效,但我想以无点样式定义它。为此,我定义了一个函数dollarize
:
let dollarize f1 f2 x = f1 x $ f2 x
let adjacent1 = dollarize zip tail
这很有效,但显然我不想定义自己的高阶函数。有没有办法找到dollarize
的标准等价物,假设它存在?如果没有,这种功能在哪里组合功能?
答案 0 :(得分:11)
pointfree
工具可以自动为您完成此操作。
$ pointfree "\l -> zip l (tail l)"
ap zip tail
$ pointfree "\f1 f2 x -> f1 x $ f2 x"
ap
答案 1 :(得分:6)
如何使用Applicative
的{{1}}实例?
(->) a
短而甜蜜。
答案 2 :(得分:3)
根据@Daniel Fischer的回答。您也可以使用(->) a
的monad实例:
Prelude Control.Monad.Instances> let adjacent1 = tail >>= flip zip
Prelude Control.Monad.Instances> adjacent1 [1..4]
[(1,2),(2,3),(3,4)]