F# 对象初始值设定项语法不适用于简单情况

Question

在 C# 中，这个对象初始化语法工作得很好:

using System.Net;
var p = new WebProxy{Address = new Uri("http://127.0.0.1:1234")};

据我了解，F# 中此类语法的等效内容应如下所示:

open System
open System.Net
let proxy = new WebProxy( Address = Uri("http://127.0.0.1:1234") )

但是，它失败了:

error FS0041: A unique overload for method 'WebProxy'
could not be determined based on type information prior
to this program point. A type annotation may be needed.

Known type of argument: Address: Uri

Candidates:
 - WebProxy() : WebProxy
 - WebProxy(Address: Uri) : WebProxy

问题:

1. 为什么不起作用？错误消息似乎表明它无法在无参数版本和单参数版本之间做出决定，但为什么？
2. 如何添加类型注释以便上面的代码能够编译？

Answer 1

我认为错误只发生在这种情况下，因为构造函数有一个参数Address，并且类型也有一个属性Address。在 F# 中，命名参数与对象初始化具有相同的语法，因此它不知道要使用哪个功能。

这是一个不寻常的冲突，因为参数名称通常是驼峰命名法，而不是帕斯卡命名法。在这种情况下，一个简单的解决方法是使用未命名参数而不是对象初始值设定项:

let proxy = WebProxy(Uri("http://127.0.0.1:1234"))