Как использовать привязку 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', в которых он используется
Чтобы понять, почему это не работает, декомпилируйте его с помощью Reflector. Вы создаете кортеж и сразу же его разрушаете. В любом случае в режиме отладки промежуточный кортеж создается как поле internal включающего типа (деталь реализации соответствия шаблону). Конечно, это делает его более доступным, чем 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 привязках на уровне модуля имеет некоторые проблемы.
let private x = {F=2}, {F=3}создает кортеж (и отлично работает). Однако вы наткнулись на интересное поведение. - person Daniel schedule 22.02.2012