将列表压缩到自身上的函数可以定义为:
let adjacent1 l = zip l $ tail l
这行得通,但我想以无点风格定义它。为此,我定义了一个函数dollarize
:
let dollarize f1 f2 x = f1 x $ f2 x
let adjacent1 = dollarize zip tail
这可行,但显然我宁愿不定义自己的高阶函数。有没有办法找到 的标准等价物dollarize
,假设它存在?如果不是,那么用于组合功能的此类功能在哪里?
将列表压缩到自身上的函数可以定义为:
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
How about using the Applicative
instance of (->) 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)]
short and sweet.
根据@Daniel Fischer 的回答。您也可以使用 monad 实例(->) a
:
Prelude Control.Monad.Instances> let adjacent1 = tail >>= flip zip
Prelude Control.Monad.Instances> adjacent1 [1..4]
[(1,2),(2,3),(3,4)]