给定一个谓词“p”,它告诉我们一个解决方案是否足够好。一个成本函数“f”,它告诉一个可能的解决方案有多好,一个函数在一系列可能的解决方案中搜索“最佳”(即最低成本)解决方案。取消评估的惯用方式如何 - 如果谓词确保当前解决方案“足够好” - 看起来像。
即类似的东西:
let search p f solutionSpace =
solutionSpace |> Seq.map (fun x -> f x, x)
|> Seq.ignoreAllFollowingElementsWhenPredicateIsTrue (fun (c, s) -> p c)
|> Seq.minBy (fun (c, _) -> c)