我如何输入一个函数,该函数接受具有字段的记录a
and 任何其他领域?
与此等效吗标准机器学习F# 中可以使用函数吗?
fun f {a: string, ...} = "Hello" ^ a;
尝试了以下内容,但这些似乎在语法上无效:
let f (r: {|a: string; _|}) = impl;
let g (r: {|a: string; ...|}) = impl;
您可以使用静态解析类型参数来实现这种约束,如下所示:
let inline f< ^T when ^T: (member a: string)> (r: ^T) = ()
f {| a = "yeet" |} // compiles
f {| a = "yeet"; b = "yote" |} // compiles
f {| b = "yote" |} // error
请注意,这不是just用于匿名记录。对于任何具有指定签名的成员的类型都适用。
我还喜欢将这些东西隐藏在模块后面,并将令人讨厌的 SRTP 内容提取到活动模式中,如下所示:
module M =
let inline private (|HasName|) x = (^a : (member Name: string) x)
let inline printName (HasName name) = printfn $"{name}"
type Person1 = { Name: string; Age: int }
type Person2 = { Name: string; Age: int; IsFunny: bool }
type Name(name) =
member _.Name = name
let p1 = { Name = "Phillip"; Age = 30 }
let p2 = { Name = "Phillip"; Age = 30; IsFunny = false }
let nm = Name "Phillip"
M.printName p1
M.printName p2
M.printName nm
这样做的好处是隐藏如何“正确排列”约束的详细信息,并让您可以轻松地在要公开公开的其他内容中重复使用签名。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)