haskell - 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)]

短くて甘い。

Answer 3

@DanielFischerの答えによると。また、次のモナドインスタンスを使用できます(->) a。

Prelude Control.Monad.Instances> let adjacent1 = tail >>= flip zip
Prelude Control.Monad.Instances> adjacent1 [1..4]
[(1,2),(2,3),(3,4)]