如何将混合 'T 和 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：

在 F# 中，参数数组只能在方法中定义。他们不能 用于独立函数或定义在 模块。

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

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 绑定，您仍然可以声明具有相同名称的模块。 另请注意，在比赛的第二个后卫中，您可以通过以下方式避免 for 循环：

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

并且box 不是必需的。