Fungsi CurriedOpCA
Peringatan
Dokumentasi ini mengacu pada QDK Klasik, yang telah digantikan oleh QDK Modern.
Silakan lihat https://aka.ms/qdk.api dokumentasi API untuk QDK Modern.
Namespace: Microsoft.Quantum.Canon
Paket: Microsoft.Quantum.Standard
Mengembalikan versi kurikuri operasi pada dua input.
function CurriedOpCA<'T, 'U> (op : (('T, 'U) => Unit is Adj + Ctl)) : ('T -> ('U => Unit is Adj + Ctl))
Deskripsi
Mengingat operasi dengan dua input, fungsi ini menerapkan isomorfisme Curry $f(x, y) \equiv f(x)(y)$ untuk mengembalikan operasi dari satu input yang mengembalikan operasi satu input.
Input
op : ('T,'U) =>Unit adalah Adj + Ctl
Operasi yang inputnya adalah pasangan.
Output : 'T -> 'U =>Unit adalah Adj + Ctl
Operasi yang menerima elemen pertama dari pasangan dan mengembalikan operasi yang menerima sebagai input elemen kedua dari input operasi asli.
Jenis parameter
'T
Jenis komponen pertama dari fungsi yang ditentukan pada pasangan.
'U
Jenis komponen kedua dari fungsi yang ditentukan pada pasangan.
Keterangan
Berikut ini setara:
op(x, y);
let curried = CurriedOp(op);
let partial = curried(x);
partial(y);