Función CurriedOpC
Advertencia
Esta documentación hace referencia al QDK clásico, que se ha reemplazado por el QDK moderno.
https://aka.ms/qdk.api Consulte la documentación de la API para el QDK moderno.
Espacio de nombres: Microsoft.Quantum.Canon
Paquete: Microsoft.Quantum.Standard
Devuelve una versión consultada de una operación en dos entradas.
function CurriedOpC<'T, 'U> (op : (('T, 'U) => Unit is Ctl)) : ('T -> ('U => Unit is Ctl))
Descripción
Dada una operación con dos entradas, esta función aplica el isomorfismo de Curry $f(x, y) \equiv f(x)(y)$ para devolver una operación de una entrada que devuelve una operación de una entrada.
Entrada
op : ('T,'U) =>Unit is Ctl
Una operación cuya entrada es un par.
Salida: 'T -> 'U =>Unidad es Ctl
Una operación que acepta el primer elemento de un par y devuelve una operación que acepta como entrada el segundo elemento de la entrada de la operación original.
Parámetros de tipo
'T
Tipo del primer componente de una función definida en pares.
'U
Tipo del segundo componente de una función definida en pares.
Comentarios
Los siguientes son equivalentes:
op(x, y);
let curried = CurriedOp(op);
let partial = curried(x);
partial(y);