f# - 如何将混合 'T and seq<' T> 的输入展平为单个 seq<'T>

Question

我需要一个可以接受任意数量参数的函数，每个参数可以是 'T 类型之一或 seq<'T> .在函数内部，我需要将其作为单个 seq<'T> 处理所有输入的组合顺序与它们提供的顺序相同。

最明显的方法是拥有类似的东西:

module Test =
    let flatten ([<ParamArray>] args) =
        let flat = seq {
                for a in args do
                    match box a with
                    | :? int as x -> yield x
                    | :? seq<int> as sq -> 
                        for s in sq do
                            yield s
                    | _ -> failwith "wrong input type"
                }
        flat // this should be seq<int>

但即使是最简单的情况，我也无法让它在 FSI 中工作

let fl = Test.flatten 1;;
  ----------------------^

...: error FS0001: The type 'int' is not compatible with the type 'seq<'a>'

这里有什么问题以及如何让它按需要工作？也许这可以用一些完全不同的方式来完成？

Answer 1

来自 msdn :

In F#, parameter arrays can only be defined in methods. They cannot be used in standalone functions or functions that are defined in modules.

因此，不要使用模块，而是使用静态方法声明类型。

open System
type Test() =
    static member flatten ([<ParamArray>] args: obj[]) =
        let flat = seq {
                for a in args do
                    match box a with
                    | :? int as x -> yield x
                    | :? seq<int> as sq -> 
                        for s in sq do
                            yield s
                    | _ -> failwith "wrong input type"
                }
        flat

如果您有其他 let 绑定(bind)，您仍然可以声明一个具有相同名称的模块。另请注意，在比赛的第二守卫中，您可以通过执行以下操作来避免 for 循环:

| :? seq<int> as sq -> yield! sq 

并且 box 不是必需的。