F#中含大量可选参数的记录创建：哪种方式符合惯用风格？

我正在编写一个库，其中部分函数需要接收大量（50个以上）参数（不是我设计的，但需要建模）。我希望尽可能降低调用者的使用成本，下面以Person记录为例：

type Person = 
    {   name : string option 
        address : string option
    }

我尝试了三种实现方式：

尝试1（刻意设计的不佳方案） #

module Person = 
    let make : string option -> string option -> Person = 
        fun name address ->
            {   name = name
                address = address
            }

let p1 = Person.make (Some "Jim") None

这种写法是我常用的方式，但参数过多时，调用者需频繁输入Some和None，使用体验很差。

尝试2（来自微软文档） #

type Person = 
    {   name : string option 
        address : string option
    }
    static member make (?name : string,?address : string) = 
        {   name = name 
            address = address
        }

let p1 = Person.make(name = "bill bloggs")

这种方式更优，但需要改用显式静态成员风格，我虽能接受，但担心混合风格，且感觉不符合F#惯用写法。

尝试3（出处不详） #

type Person2 = 
    {   name : string option 
        address : string option
    }

module Person2 = 
    let make (setter : Person2 -> Person2) = 
        setter { name = None; address = None }


let p2 = Person2.make (fun p -> { p with name = Some "bill bloggs" })

该方式利用记录更新语法，基于默认值选择性更新参数，保留了尝试1的惯用风格，但比尝试2更繁琐。

问题 #

以上哪种方式符合F#惯用风格？或是存在未列出的其他惯用方式？

在F#社区中，尝试2的可选参数思路是处理大量可选参数场景的惯用方案，但可以调整写法更贴合F#偏好的模块组织风格，而非静态成员：

type Person = 
    {   name : string option 
        address : string option
    }

module Person =
    let make (?name: string, ?address: string) =
        { name = name; address = address }

// 调用示例
let p1 = Person.make(name = "bill bloggs")
let p2 = Person.make(address = "123 Main St")
let p3 = Person.make(name = "Alice", address = "456 Oak Ave")

这种模块内的可选参数函数既保留了F#模块化代码的惯用风格，又避免了调用者手动写Some/None的麻烦——F#会自动将传入的实参包装为option，未指定的参数则默认是None，完美适配大量可选参数的场景。

至于尝试3的更新语法方式，虽然符合F#语法特性，但在参数数量极多（50+）时，调用者需要写冗长的lambda表达式逐个更新，使用成本远高于可选参数方案，不适合你的场景。

另外，还有一种进阶方案是使用记录构建器模式，适合参数数量特别多且需要分步骤构建的场景：

type Person = 
    {   name : string option 
        address : string option
        // ... 其他50+可选字段
    }

type PersonBuilder() =
    member _.Yield(_) = { name = None; address = None }
    [<CustomOperation("name")>]
    member _.Name(state: Person, value: string) = { state with name = Some value }
    [<CustomOperation("address")>]
    member _.Address(state: Person, value: string) = { state with address = Some value }
    // ... 为每个字段定义对应的CustomOperation

let person = PersonBuilder()

// 调用示例
let p = person {
    name "bill bloggs"
    address "123 Main St"
}

这种方式调用起来可读性极强，尤其适合字段数量极多的情况，但需要额外编写构建器类型的代码。如果你的库需要频繁创建这类记录，构建器模式会是非常友好的选择。

总结：

• 优先选择模块内的可选参数函数，兼顾简洁性和F#惯用风格；
• 若参数数量极多且追求极致可读性，考虑记录构建器模式。

内容的提问来源于stack exchange，提问作者MrD at KookerellaLtd