ポリフォニックC＃メソッドをアンパサンドで区切っていますか？

Question

私はthis introduction to Polyphonic C#を読んでいると、最初のページには、この例が含まれています

例：ここでは簡単なバッファ

はポリフォニックC＃クラスの最も単純な興味深い例である：

public class Buffer { 
    public String get() & public async put(String s) { 
     return s;  
    } 
} 

私はそれをまったく手に入れません。
方法get()とput()間&は何を意味するのでしょうか？

Answer 1

これは合法ではありません。C＃。それはポリフォニックC＃です。それはresearch project from Microsoftです。それが正確定義されていない残念だが、ポイントはこれです：

ポリフォニックC＃の

は、しかしながら、身体は（同期および/または非同期）メソッドのセットに関連付けることができます。このような定義をコードと呼び、特定の方法が複数のコードのヘッダーに表示されることがあります。コードの本体は、ヘッダ内のすべてのメソッドが呼び出された後にのみ実行できます。

従って&はこれらのメソッドをまとめてコードに組み込み、コードのすべてのメソッドが呼び出されるまで呼び出されません。

同じarticleに沿って少しさらに：

これらの2つの方法は、returnステートメントから成る本体れた単一コードのヘッダに（アンパサンドで区切られた）に表示されます。 今bがBufferのインスタンスであり、そのプロデューサとコンシューマスレッドがbを介して通信することを望むと仮定する。プロデューサはput()を呼び出します。このメソッドは非同期なのでブロックしません。コンシューマはget()を呼び出します。このメソッドは同期的なので、put（）の呼び出しが一致するまでブロックされます。 bがput()とget()の両方を受信すると、本文が実行され、get()を呼び出した結果、put()への引数が返されます。 put()は、それらのいずれかを目覚めために受信され、それらの引数がその後のget() Sによって消費される前に、put()に複数の呼び出しを行うことができる前に、get()から複数のコールが保留されてもよいです。

：しかし、そのような刃先の性質です。私はそれを得る。

Answer 2

それは単に和音を構成する複数の方法を指定するための構文です。本文は、ヘッダー内のすべてのメソッドが呼び出されるまで実行されません。