在 F# 中是否有逻辑组合谓词的标准方法?例如,假设我有isCar x
和isBlue x
,那么我想要一些能给我的东西:
let isBlueCar x = isCar x && isBlue x
但是使用某种组合,而不是调用,可能是这样的:
let isBlueCar x = isCar && isBlue
最好是,某些东西能够接受大量/任意数量的谓词。
你可以定义一个组合器。
let (<&>) f g = (fun x -> f x && g x)
然后做
let isBlueCar = isCar <&> isBlue
let meetsAll preds = preds |> Seq.fold (fun p q x -> p x && q x) (fun _ -> true)
// or let meetsAll preds x = preds |> Seq.forall (fun p -> p x)
如
let isEven x = x%2 = 0
let isDiv5 x = x%5 = 0
let isDiv7 x = x%7 = 0
let div257 = meetsAll [isEven; isDiv5; isDiv7]
for i in 1..100 do
if div257 i then
printfn "%d" i
它没有标准的库函数,但您可以自己定义大量的单行代码,正如这里的答案所证明的那样。
您可以执行以下操作:
let predicates = [isCar; isBlue]
let isBlueCar x = predicates |> List.forall (fun predicate -> predicate x)
更一般地说:
let combinePredicates predicates =
fun x -> predicates |> List.forall (fun predicate -> predicate x)
let isBlueCar = combinePredicates [isCar;isBlue]
这是你要找的吗?
> let (&&<) a b x = a x && b x
val ( &&< ) : ('a -> bool) -> ('a -> bool) -> 'a -> bool
> let isBlueCar = isCar &&< isBlue
val isBlueCar : (int -> bool)