私は、'a -> boolという名前のいくつかのフィルタ関数を持っています。私は、さまざまなフィルタをANDの組み合わせフィルタを作成したいと思います。私はこのようにそれを行うことができます知っている: let fCombined x =
f1 x
&& f2 x
&& f3 x
は、直接(例えばfCombinedの定義からxを除去することで)完全にそれらを適用せ
と関数合成I次の例を持っていると、彼らは種類が互いに - isSome;
val it = fn : 'a option -> bool
- SOME;
val it = fn : 'a -> 'a option
- val my_converter = (fn x => if x = 5 then SOME x else NONE);
val my_converter = fn :