f# - List.partition 是否保证保持顺序？

Question

我注意到它似乎是这样的，但如果它不是故意的，我不想依赖它。这是有问题的代码:

let bestValuesUnder max =
    allValues
    >> List.partition (fun value -> value < max)
    >> function
        | ([], bad) -> [List.min bad]
        | (good, _) -> good // |> List.sortBy (fun value -> -value)

allValues 是一个返回 int 列表的函数。

Answer 1

规范没有说:

http://msdn.microsoft.com/en-us/library/ee353782(VS.100).aspx

但 FSharp.Core 中的当前实现确实保留了顺序(它在底层使用突变按顺序创建结果列表，因为它遍历原始列表；这是有效的)。我会询问我们是否打算将其推广到规范，因为这似乎是一个有用的保证。