将函数列表减少为布尔值

时间:2012-05-03 17:31:27

标签: f# mapreduce reduce

我正在寻找一种方法将此列表缩减为布尔值。这是原始的:

let ones = [1;1;1;1]
let twos = [2;2;2;2]
let bad = [1;2;3]

let isAllOnes = List.forall (fun op -> op = 1)
let isAllTwos = List.forall (fun op -> op = 2)  

let isOneOrTwo ops = isAllOnes ops || isAllTwos ops

isOneOrTwo ones |> should be True
isOneOrTwo twos |> should be True
isOneOrTwo bad |> should be False

我正在尝试使用一种reduce来重构它。像这样:

let isOneOrTwo ops = [isAllOnes; isAllTwos] |> List.tryFind (fun acc -> acc ops) 

(isOneOrTwo ones).IsSome |> should be True
(isOneOrTwo twos).IsSome |> should be True
(isOneOrTwo bad).IsSome |> should be False

我不喜欢isOneOrTwo如何缩减为选项。我真的想将列表缩减为布尔值,以便我的断言看起来像这样:

isOneOrTwo ones |> should be True
isOneOrTwo twos |> should be True
isOneOrTwo bad |> should be False

任何人都知道如何实现这一目标? List.reduce不起作用,因为类型不同。

1 个答案:

答案 0 :(得分:6)

将List.tryFind替换为List.exists

let ones = [1;1;1;1]
let twos = [2;2;2;2]
let bad = [1;2;3]

let allOnes = List.forall ((=) 1)
let allTwos = List.forall ((=) 2)

let isOneOrTwo l = [allOnes; allTwos] |> List.exists (fun f -> f l)

printfn "%A " (isOneOrTwo ones) // true
printfn "%A " (isOneOrTwo twos) // true
printfn "%A " (isOneOrTwo bad)  // false