F #

Question

में भविष्यवाणियों का मिश्रण F # में तर्कसंगत रूप से संयोजन का एक मानक तरीका है?

let isBlueCar x = isCar x && isBlue x 

लेकिन रचना के कुछ प्रकार का उपयोग कर, बल्कि मंगलाचरण से, हो सकता है की तरह:

let isBlueCar x = isCar && isBlue 

अधिमानतः, कि उदाहरण के लिए, मान लीजिए कि मैं isCar x और isBlue x है तो मैं कुछ है कि मुझे देता है चाहते हैं कुछ भविष्यवाणी की एक बड़ी/मनमानी संख्या स्वीकार करने में सक्षम हो जाएगा।

Answer 1

आप एक संयोजक को परिभाषित कर सकते हैं।

let (<&>) f g = (fun x -> f x && g x) 

तो

let isBlueCar = isCar <&> isBlue 

Answer 2

क्या आप यह देख रहे हैं?

> let (&&<) a b x = a x && b x 

val (&&<) : ('a -> bool) -> ('a -> bool) -> 'a -> bool 

> let isBlueCar = isCar &&< isBlue 

val isBlueCar : (int -> bool) 

Answer 3

आप निम्न की तरह कुछ कर सकता है:

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] 

Answer 4

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 

में इसके लिए कोई मानक पुस्तकालय समारोह है, लेकिन एक-लाइनर्स के रूप में यहाँ जवाब इसका सबूत आप अपने दम पर परिभाषित कर सकते हैं, के एक बहुतायत देखते हैं।