CurriedOpCA-Funktion
Warnung
Diese Dokumentation bezieht sich auf das klassische QDK, das durch das moderne QDK ersetzt wurde.
Weitere Informationen finden https://aka.ms/qdk.api Sie in der API-Dokumentation für das moderne QDK.
Namespace: Microsoft.Quantum.Canon
Paket: Microsoft.Quantum.Standard
Gibt eine geschwungene Version eines Vorgangs für zwei Eingaben zurück.
function CurriedOpCA<'T, 'U> (op : (('T, 'U) => Unit is Adj + Ctl)) : ('T -> ('U => Unit is Adj + Ctl))
BESCHREIBUNG
Bei einem Vorgang mit zwei Eingaben wendet diese Funktion Currys Isomorphismus $f(x, y) \equiv f(x)(y)$ an, um einen Vorgang einer Eingabe zurückzugeben, der einen Vorgang einer Eingabe zurückgibt.
Eingabe
op : ('T,'U) =>Unit is Adj + Ctl
Ein Vorgang, dessen Eingabe ein Paar ist.
Ausgabe : 'T -> 'U =>Unit is Adj + Ctl
Ein Vorgang, der das erste Element eines Paares akzeptiert und einen Vorgang zurückgibt, der das zweite Element der Eingabe des ursprünglichen Vorgangs als Eingabe akzeptiert.
Typparameter
"T
Der Typ der ersten Komponente einer Funktion, die für Paare definiert ist.
"U
Der Typ der zweiten Komponente einer Funktion, die für Paare definiert ist.
Hinweise
Es handelt sich um die folgenden Äquivalente:
op(x, y);
let curried = CurriedOp(op);
let partial = curried(x);
partial(y);