関数の合成に関与する共通のパターン（\ B - > F（グラムA）（グラムb）参照）

Question

f :. g = \a b -> f (g a) (g b) 

のように見えfとgの組成は、私は私のコードで非常に頻繁に見つけるパターンです。これは単項関数の構成と似ていますが、 fはバイナリで、 fに渡される前に両方の引数に gを適用します。

私はこの時点フリーをするためのフォームを変換するlambdabotを頼むとき、私は奇妙な呪文私はむしろ私のコードではありませ思いますので、私は明示的にパターンを書き出す終わる

を取得。

このような状況でコンビネータを書くには、一般に認められた方法がありますか？またはこの状況で自分自身を見つけるのは奇妙ですか？

私はそれが必要なときにここで尋ねることは考えたことがないので、私はこれを手にして実際の例はありませんが、それと非常にきれいにユークリッド距離の公式を書くことが想像できるでしょう。そのよう：

distance = sqrt . (+) :. (^2) 

Answer 1

この機能はData.Functionモジュールにonと呼ばれています。

sqrt . (+) `on` (^2)のように、よく使われます。

Answer 2

ポイントフリースタイルで書き込もうとしないでください。これは、ポイントフリーがしばしば読みにくいという事実の例です。

だけthuslyそれを定義：