如何用F#递归遍历列表动态构建Fable.Forms表单？

我在使用Fable.Forms库动态生成表单时遇到了递归实现的问题。以官网首个示例为基础，需求是将邮箱、密码等字段存入集合，通过递归流程动态构建表单。

以下是初步尝试的代码：

let fields = [ fieldA; fieldB ]

match fields |> List.length with
| 1 ->
    Form.succeed (fun _ -> Nothing)
    |> Form.append (fields |> List.head)
| 2 ->
    Form.succeed (fun _ _ -> Nothing)
    |> Form.append (fields |> List.head)
    |> Form.append (fields |> List.tail |> List.head)
| _ -> failwith "..... gotta solve using tail recursion!!"

核心问题：必须提前知晓字段的精确数量，才能为Form.succeed的匿名函数传入对应数量的输入参数：

• 列表含1个字段时，需传入(fun ? -> ...)，再追加列表字段
• 列表含2个字段时，需传入(fun ? ? -> ...)，再追加列表字段
• 列表含3个字段时，需传入(fun ? ? ? -> ...)，再追加列表字段

问题根源在于你试图用固定参数数量的函数匹配动态字段数量，而F#的静态类型系统不支持这种动态参数生成。正确的做法是将所有字段的值收集到集合（比如列表）中，通过List.fold累积构建表单，无需提前知道字段数量。

示例代码如下：

// 假设每个field的类型是Form<'T>，最终返回Form<'T list>
let buildDynamicForm (fields: Form<'a> list) =
    fields
    |> List.fold (fun accumulatedForm currentField ->
        // 将已有值列表和当前字段的值合并，添加到列表头部
        accumulatedForm |> Form.map2 (fun values value -> value :: values) currentField)
        // 初始状态：返回空列表的基础表单
        (Form.succeed [])
    |> Form.map List.rev // 反转列表，保持字段原本的顺序

说明： #

1. 初始状态：Form.succeed []创建一个返回空列表的基础表单。
2. 折叠累积：遍历每个字段，用Form.map2将已有表单的结果（值列表）和当前字段的值合并，把新值加到列表头部。
3. 调整顺序：最后用Form.map List.rev反转列表，保证值的顺序和字段列表的顺序一致。

如果需要将结果转换成特定类型（比如记录），可以在表单构建完成后做映射：

type UserForm = { Email: string; Password: string }

let userFields = [ Form.text ""; Form.password "" ]
let userForm =
    buildDynamicForm userFields
    |> Form.map (fun values ->
        match values with
        | [ email; password ] -> { Email = email; Password = password }
        | _ -> failwith "字段数量不匹配")

内容的提问来源于stack exchange，提问作者LuisFX