Función CurriedOpCA
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 CurriedOpCA<'T, 'U> (op : (('T, 'U) => Unit is Adj + Ctl)) : ('T -> ('U => Unit is Adj + 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 Adj + Ctl
Una operación cuya entrada es un par.
Salida: 'T -> 'U =>Unidad es Adj + 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);