haskell - F# 中的 ReplicateM 等效项

Question

F# 中的 ReplicateM(Haskell)是否有等效函数？

示例:

replicateM 2 [1,2,3] = 
[[1,1],[1,2],[1,3],[2,1],[2,2],[2,3],[3,1],[3,2],[3,3]]

Answer 1

您可以在 F#+ 中找到它它是为 List 和 Seq 定义的:

#r @"c:\packages\FSharpPlus-1.0.0\lib\net45\FSharpPlus.dll"

open FSharpPlus

List.replicateM 2 [1;2;3]

// val it : List<int list> =
//  [[1; 1]; [1; 2]; [1; 3]; [2; 1]; [2; 2]; [2; 3]; [3; 1]; [3; 2]; [3; 3]]

Seq.replicateM 2 [1;2;3]
// val it : seq<int> list =
// [seq [1; 1]; seq [1; 2]; seq [1; 3]; seq [2; 1]; seq [2; 2]; seq [2; 3];
//   seq [3; 1]; seq [3; 2]; seq [3; 3]]

如果您从 Haskell 进行翻译，this project 中有一个 Compatibility.Haskell 模块与该函数和其他 Haskell 绑定(bind)。

事实上，最后一个参数可以是列表或任何其他 Applicative，但如果您不想使用该库并且对仅适用于 list 的版本感到满意，您可以定义像这样:

let replicateM n x = 
    let k m m' = List.collect (fun x -> 
        List.collect(fun xs -> 
            [List.Cons(x,xs)]) m') m       
    List.foldBack k (List.replicate n x) [[]]