"use"バインディングでパターンが許可されないのはなぜですか？

Question

specによれば、useバインディングは、パターンの代わりに識別子（とは異なります）を必要とします。どうしてこれなの？ここでは動作しないシナリオの例を示します。

type Disposable = Resource of IDisposable 

let f disposable = 
    use (Resource d) = disposable //ERROR: 'use' bindings must be of the form 'use <var> = <expr>' 
() 

Answer 1

多くのパターンが意味をなさないと思われます。例えば、コンパイラが次のコードをどのように処理すると思いますか？

type DisposablePair = DisposablePair of IDisposable * IDisposable 

let f disposablePair = 
    use (DisposablePair(x,y)) = disposablePair 
    () 

あなたの奇妙なエラーメッセージが原因であっても、あなたが結合letを使用していた場合、あなたは（コンパイラは、新しい関数を宣言していると考えて）(Resource d)ではなく、Resource(d)をバインドする必要があるだろうという事実のために、おそらくです。

私はアンダースコアパターンを使用することができないことがあります（具体的には、System.Transactions.TransactionScopeのように範囲を限定するために存在するIDisposableのインスタンスを処理する場合）。

use p = v in e 

：アンダースコアを処理するために useバインディングを一般化するとなるように、いくつかの他の状況は、 IDisposableするが、左手側に任意のパターンを許可するように結合 useの右側を必要とするだろう一つの方法

は文法的に次のようなものに変換されます

let ((p:System.IDisposable) as d) = v in try e finally d.Dispose()