如何将记录元组解构为私有值

Question

如何使用模块级 let 绑定将两个私有值绑定到元组中的记录？

type private T = {F:int}
let private a = {F=1}
let private b, private c = {F=2}, {F=3}

在此示例中，a 工作正常，但 b 和 c 的绑定均失败并出现错误：

错误 FS0410：类型 'T' 比它所使用的值、成员或类型 'val patternInput : T * T' 更难访问

Answer 1

要了解为什么这不起作用，请使用 Reflector 对其进行反编译。您正在创建一个元组并立即解构它。无论如何，在调试模式下，中间元组都会创建为封闭类型的内部字段（模式匹配的实现细节）。当然，这使得它比 T 更容易访问，而 T 是 private。我很好奇这是否是一个错误（看起来是这样）。

编辑

它变得更奇怪......

以下无法编译（有语法错误），但如果类型是公共的并且使用let而不是let private，则可以正常编译。

type private T = {a:int; b:int}
let private t = {a=0; b=0}
let private {a=a; b=b} = t //syntax error

type private U() = class end
let private ul = [U()]
let private [u] = ul //syntax error

我认为可以肯定地说模块级私有 let 绑定中的解构存在一些问题。