OCamlに中置関数合成演算子がありますか？

Question

簡単な質問です。標準ライブラリ（またはJane StreetのCoreまたはBatteries）で定義されているOCamlに中置関数合成演算子があるかどうか疑問に思っています.Haskellの（。）関数のように、たくさんのかっこを保存しています。(f . g . h) xあまり魅力的ではないf (g (h x)))。

ありがとうございました。

Answer 1

答えはflip :-)と同じです。関数の構成はOCaml標準ライブラリでは定義されていません。この場合、それは私が一度逃したものではなく、いつもそれを逃しています。

OCaml Batteries Includedプロジェクトでは、BatStdモジュールの演算子-|を使用して（与えられた順序で）関数の構成を定義します。 lukstafiが指摘しているように（下記参照）、このオペレータはバッテリの将来のリリースで明らかに%に変更されます。 （私はソースツリーでこれを確認しました）

私が見る限り、Jane Street Coreプロジェクトは関数合成演算子を定義していません。これは、Fnモジュールに関数composeを定義します。

Answer 2

コアにはFn.composeの機能がありますが、埋め込み演算子ではありません。また、通常の関数として実装され、実行時オーバーヘッドを持ちます。

実際には、パイプ演算子を使用するとかなり便利です。コンパイラで直接実行されるようなランタイムオーバーヘッドはありません（4.00以降）。詳細は、Optimized Pipe Operatorsを参照してください。

パイプ演算子はコアで '|>'として使用できます。それで、あなたは次のようにあなたの式を書き換えることができます。型シグネチャを持つ

let (<<) f g x = f(g(x));; 

：h x |> g |> f

Answer 3

私はF＃でそれは単にとして定義されています、オペレータは含めてかなり容易であることを追加したいval (<<) : f:('a -> 'b) -> g:('c -> 'a) -> x:'c -> 'b ...あなたが必要な正確に何

(f << g << h) x = f(g(h(x)) 

をやってあなたは私が好きな

に持っていない場合ので、あなたは、電池プロジェクトを必要としません

let (>>) f g x = g(f(x));; 

(f >> g >> h) x = h(g(f(x)) 

Answer 4

中置組成オペレータの使用は落胆しているように見える：ご想像の通り>>オペレータが反対をしているので、それは<<のように見える理由があることを追加します。 （this discussion参照）。

f (g (h x)))の代わりにf @@ g @@ h xと書くことができます。

Answer 5

多分それがあなたを助けるかもしれません。

let identite f = f 
let (>>) = List.fold_right identite 

試験：Containersで

# let f=fun x-> x+1 and 
     g=fun x-> x*2 and 
     h=fun x-> x+3;; 

# [f;g;h] >> 2;; 
- : int = 11 

Answer 6

（まだOCamlのための別のSTDLIB置換）、関数合成演算子は%と呼ばれ、​​モジュールに見出すことができる：

open Containers 
open Fun 

let is_zero n = (n = 0) 

let nonzeros = List.filter (not % is_zero) [0;1;2;3;0]