Cierre debido a lo que puede hacer o porque hace

Question

Ok, esta es una pregunta un tanto pedante pero me gustaría asegurarme de entender la definición correctamente. Es el apodo de cierre utilizada para describir las funciones anónimas que pueden variables de ascensor en el ámbito local (ya sea que realmente hacen o no) o sólo cuando hacer variables de elevación en el ámbito local?

En otras palabras, si una función anónima tiene la capacidad para levantar las variables en su ámbito local (Debido a que el lenguaje ofrece esa capacidad), pero no, ¿sigue siendo considerado un cierre?

Según tengo entendido, es un cierre solo cuando se levantan las variables locales. Pero una función anónima que no funciona (aunque puede) no es un cierre. Entonces, no todas las funciones anónimas son cierres, pero todos los cierres son funciones anónimas.

De nuevo, disculpe la pedantería, pero estas cosas me carcomen. :)

Answer 1

Suponiendo que quiere decir en el contexto de la informática ...

Un cierre es una función de primera clase que captura los enlaces léxicos de variables libres en su entorno definir. Una vez que ha capturado los enlaces léxicos, la función se convierte en un cierre porque "cierra" esas variables.

Nota esto significa que los cierres solo existen en tiempo de ejecución.

Para que una función sea un cierre es ortogonal a la función anónima o nombrada. Puede crear un idioma que le permita definir funciones nombradas para que sean cierres.

Aquí es un cierre "llamado" en Python:

def maker(): 
    count=[0] 
    def counter(): 
    count[0]=count[0]+1 
    return count[0] 
    return counter 

Answer 2

Una gran definición de un cierre se define aquí: lua.org

Cuando una función se escribe encerrado en otra función, tiene acceso completo a variables locales desde la función adjunta; esta característica se llama alcance léxico. Aunque eso puede parecer obvio, no lo es. El alcance léxico, más las funciones de primera clase, es un concepto poderoso en un lenguaje de programación, pero pocos idiomas respaldan ese concepto.