Para responder a su última pregunta, el estilo de continuación de aprobación no es lo mismo que currying. Usted curry cuando crea una función a partir de otra función, especificando uno o más de sus parámetros, obteniendo así una función con menos parámetros. Currying en un lenguaje de programación funcional, como F # y C# hasta cierto punto, le permite tratar todas las funciones como una función de una variable. Si dicha función tiene más de un parámetro, entonces puede verse como tener un parámetro y devolver otra función con los parámetros restantes. Este es un ejemplo de currying en C#:
public static class FuncExtensions
{
public static Func<A, Func<R>> Curry<A, R>(this Func<A, R> f)
{
return a =>() => f(a);
}
}
Func<int, int> f = x => x + 1;
Func<int> curried = f.Curry()(1);
Cuando el curry función siempre devolverá 2. Hay, por supuesto, los usos más iluminadoras de esto.
En lo que respecta al estilo de continuación de paso, además del blog de Wes Dyer vinculado, consulte F # flujos de trabajo asincrónicos, que son instancias de continuación, o la mónada de continuación. Puede intentar utilizar el término mónada de continuación para buscar algunos artículos adicionales.
1 Muy buena lectura: "La mayoría de los programadores han utilizado las funciones que tienen una devolución de llamada A menudo, la devolución de llamada es el código que se invoca al término de la función En estos casos, la devolución de llamada es una continuación pasó explícitamente..." (De artículo) –
"continuaciones son los homólogos funcionales de GOTOs tanto en el poder y hermetismo. Pueden expresar flujo de control arbitrario como corrutinas y excepciones mientras desconcertantes algunos de los programadores más brillantes". - Pueden volverse locos. Comience a mezclar las continuidades de fallas, las continuas de éxito y más, y puede hacer locas operaciones AI-esque en unas pocas docenas de líneas de código difícil de entender pero bello. – Eagle
@Eage: me niego a aceptar este juicio negativo. Uno no solo compara las continuaciones con goto. esto es descabellado –