functional-programming - 颠倒仿函数顺序的一般方法(一个可折叠的)

Question

假设我有类似的东西

#r @"nuget: FSharpPlus"

open FSharpPlus

let maybeXs: Option<List<int>> = Some [1]

我想将它转换成一个 List。

有公式化的机制吗？

let unit = Some

let almostThere: Option<List<Option<int>>> = map (fun xs -> map unit xs) maybeXs

我只需要“消除”外部选项....然后它似乎特定于我的数据类型所以

let there: List<Option<int>> = 
    fold (fun s t -> t) [] (map (fun xs -> map unit xs) maybeXs)

一般来说，这是一个公平的方法吗？还是有一些功能性的神奇配方，可以带来一些清晰度？

Answer 1

每当你有一堆 Functor，并且外部 Functor 是 Traversable 时，遍历 会翻转命令。您可以使用 sequence 简单地翻转两者:

let there = sequence maybeXs

这会产生 [Some 1]。