f# - 如何从 Map 构造键列表？

Question

我正在尝试从 Map 构建键列表。这就是我所做的:

Map.fold (fun state key value -> state::value) [] [("one", 1); ("two", 2)]

但是，state::value 位会产生此错误:

tryout.fs(146,48): error FS0001: Type mismatch. Expecting a
    'a    
but given a
    'a list

我的代码有什么问题？

Answer 1

其他人已经发布了很好的解决方案，所以只是回答你的问题并解释你的代码有什么问题 - 因为你正在使用 Map.fold 我假设你的数据源实际上是一个 map 并且不是列表:

let sample = Map.ofSeq [("one", 1); ("two", 2)]

这是您的原始解决方案和一个并排工作的解决方案:

// Original version - attempts to add 'state' as the new head of a list 'value'
Map.fold (fun state key value -> state::value) [] sample
// Corrected version - adds 'key' as the new head of a list 'state'
Map.fold (fun state key value -> key::state) [] sample

关键是 :: 运算符需要在左侧有一个值(此处为 string)，另一个列表(此处为 string list) 在右边。您正确地创建了一个空列表 [] 作为初始状态。

当你想在折叠过程中添加新键时，你需要将现有列表(state)作为 :: 的正确参数和新键( key) 作为左参数 - 创建一个新列表，其中包含键作为第一个元素，所有剩余元素作为列表的其余部分(尾)。

所以 1) :: 的参数顺序很重要，并且 2) 你想收集键而不是值，但如果你收集值，它会以同样的方式工作。