F# 在列表中收集TypeProvider提供的方法参数值

下面是所提供方法的一个简化片段，它接受可变数量的参数，在本例中为3

ProvidedMethod(methodName = "GetContext", 
               parameters = [ for i in [ 1..3 ] do
                                  yield ProvidedParameter("Param" + string i, typeof<string>) ], 
               IsStaticMethod = true, returnType = typeof<string>, 
               InvokeCode = (fun args -> 
                   <@@ 
                       let dim1 : string = %%args.[0] : string
                       let dim2 : string = %%args.[1] : string
                       let dim3 : string = %%args.[2] : string
                 //    let dims = [for %%arg in args do yield (arg : string) ]// [1] error below
                 //    let dims = [for arg in args do yield (%%arg : string) ]// [2] error below
                       let dims = [ dim1; dim2; dim3 ] //this works
                       String.Join("--", dims)
                   @@>))

---

用以下方法破解您的解决方案实际上可以编译

InvokeCode = (fun args -> 
    let dims: string[] = Array.zeroCreate args.Length
    let mutable i = 0
    let inc () = i <- i + 1
    <@@
        while i < args.Length do
            dims.[i] <- %%args.[i]
            inc ()
        String.Join("--", dims)
    @@>

---

根据评论中建议的答案，这种解决方案也有效：

ProvidedMethod（methodName=“GetContext”，
参数=[对于[1..3]中的i，do
提供的产量参数（“参数”+字符串i，类型）]，
IsStaticMethod=true，returnType=typeof，
InvokeCode=（有趣的参数->
让dims=List.fold（趣味状态e->）args
))

相关问题：

InvokeCode = (fun args -> 
    let dims: string[] = Array.zeroCreate args.Length
    let mutable i = 0
    let inc () = i <- i + 1
    <@@
        while i < args.Length do
            dims.[i] <- %%args.[i]
            inc ()
        String.Join("--", dims)
    @@>

InvokeCode = (fun args -> 
    let dims =
        args
        |> Array.choose (function | Value(value, _) -> value |> string |> Some | _ -> None)
        |> fun arr -> String.Join("--", arr)
    <@@ dims @@>

ProvidedMethod(methodName = "GetContext", 
           parameters = [ for i in [ 1..3 ] do
                              yield ProvidedParameter("Param" + string i, typeof<string>) ], 
           IsStaticMethod = true, returnType = typeof<string>, 
           InvokeCode = (fun args -> 
               let dims = List.fold ( fun state e -> <@@ (%%string)::%%state @@>) <@@ []:List<string> @@> args
               <@@ 
                   String.Join("--", dims)
               @@>))