¿Cómo se llama este "patrón" funcional?

Question

Estaba jugando con una programación funcional cuando me encontré con la necesidad de esta función, sin embargo, no sé cómo se llama este tipo de cosas en la nomenclatura estándar. ¿Alguien lo reconoce?

function WhatAmIDoing(args...) 
    return function() 
     return args 
    end 
end 

Editar: generalizar la función, se necesita una cantidad variable de argumentos (o tal vez una lista implícita) y devuelve una función que cuando se invoca devuelve todos los argumentos, algo así como un curry o escabeche, pero se tampoco parece serlo

Answer 1

WhatAmIDoing es higher-order function porque es una función que devuelve otra función.

Lo que se devuelve es un thunk — un cierre creado para el cómputo retrasado del valor real. Por lo general, los thunk se crean para evaluar perezosamente una expresión (y posiblemente memorizarla), pero en otros casos, simplemente se necesita una función en lugar de un valor simple, como en el caso de "constantly 5", que en algunos idiomas devuelve una función que siempre devuelve 5.

Esto último podría aplicarse en el ejemplo dado, ya que suponiendo que el lenguaje evalúa en orden de aplicación (es decir, evalúa argumentos antes de llamar a una función), la función no tiene otro objetivo que convertir los valores en una función eso los devuelve.

WhatAmIDoing es realmente una implementación de la función "constantemente" que estaba describiendo. Pero, en general, no tiene que devolver solo args en la función interna. Se podría volver "ackermann(args)", lo que podría llevar mucho tiempo, como en ...

function WhatAmIDoing2(args...) 
    return function() 
     return ackermann(args) 
    end 
end 

Pero WhatAmIDoing2 podría volver inmediatamente porque la evaluación de la función de Ackermann sería suspendido en un closure. (Sí, incluso en un lenguaje de call-by-value.)

Answer 2

¿Un delegado?

¿Básicamente está devolviendo una función? o la salida de una función?

no entendía, lo siento ...

Answer 3

diría que XXXX devuelve un cierre de la función sin nombre ligado en los valores de x, y, z.

Este artículo wikipedia puede arrojar alguna luz

Answer 4

En la programación funcional una función que toma otra función como un argumento o devuelve otra función se denomina higher-order function.

Answer 5

Currying se trata de transformar una función en una cadena de funciones, tomando cada una solo un parámetro y devolviendo otra función. Entonces, este ejemplo no tiene relación con currying.

Decapado es un término usualmente utilizado para denotar algún tipo de serialización. Tal vez para almacenar un objeto construido a partir de múltiples valores.

Si el aspecto que le interesa es que la función devuelta puede acceder a los argumentos de la función XXXX, entonces iría con Remo.D.

Answer 6

Como han dicho otros, es higher-order function. Como tiene un "patrón" en su pregunta, pensé que agregaría que esta característica de los lenguajes funcionales a menudo se modela utilizando el strategy pattern en idiomas sin funciones de orden superior.

Answer 7

Algo muy similar se llama constantly en Clojure:

http://github.com/richhickey/clojure/blob/ab6fc90d56bfb3b969ed84058e1b3a4b30faa400/src/clj/clojure/core.clj#L1096

Sólo la función que retorna constantly toma una cantidad arbitraria de argumentos, por lo que es más general (y flexible) que su patrón.

No sé si este patrón tiene un nombre, pero lo uso en casos en los que normalmente se espera que las funciones, pero lo único que importa es que para un determinado valor se devuelve:

(map (constantly 9) [1 2 3]) 
=> (9 9 9) 

Sólo me preguntaba ¿Para qué usas esto?