Fungsi CurriedOp
Peringatan
Dokumentasi ini mengacu pada QDK Klasik, yang telah digantikan oleh Modern QDK.
Silakan lihat https://aka.ms/qdk.api dokumentasi API untuk QDK Modern.
Namespace: Microsoft.Quantum.Canon
Paket: Microsoft.Quantum.Standard
Mengembalikan versi kurir operasi pada dua input.
function CurriedOp<'T, 'U> (op : (('T, 'U) => Unit)) : ('T -> ('U => Unit))
Deskripsi
Mengingat operasi dengan dua input, fungsi ini menerapkan isomorfisme Curry $f(x, y) \equiv f(x)(y)$ untuk mengembalikan operasi satu input yang mengembalikan operasi dari satu input.
Input
op : ('T,'U) =>Unit
Operasi yang inputnya adalah pasangan.
Output : 'T -> 'U =>Unit
Operasi yang menerima elemen pertama dari pasangan dan mengembalikan operasi yang menerima sebagai inputnya 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);