Haskell - è una chiusura?

Question

C'è un pezzo di codice sorgente che ha avuto origine in una risposta ad another one of my questions,

infFromPrefix :: Eq a => ([a] -> [a]) -> [a] -> [a] 
infFromPrefix rules prefix = inf where 
    inf = prefix ++ case stripPrefix prefix (rules inf) of 
     Just suffix -> suffix 
     Nothing  -> error "Substitution does not preserve prefix" 

dove sono abbastanza sicuro che inf deve essere una chiusura in quanto ha accesso alle variabili dal suo campo di applicazione racchiude nel senso che utilizza i parametri passati a infFromPrefix, ma non sono sicuro poiché essenzialmente infFromPrefix e inf è la stessa funzione, lo inf consente solo una definizione più breve di . Una definizione equivalente sarebbe

infFromPrefix rules prefix = prefix ++ case stripPrefix prefix (rules $ infFromPrefix rules prefix) of 
     Just suffix -> suffix 
     Nothing  -> error "Substitution does not preserve prefix" 

Ho ragione, è inf una chiusura?

Answer 1

basata sull'articolo Wiki su Closures in programming, credo si possa dire che inf è davvero non una chiusura:

Nota soprattutto che le definizioni di funzioni annidate non sono essi stessi le chiusure: hanno un libero variabile, che non è ancora vincolata. Solo una volta che la funzione di inclusione viene valutata con un valore per il parametro, la variabile libera della funzione nidificata viene associata, creando una chiusura, che viene quindi restituita dalla funzione di inclusione.

Answer 2

Sono d'accordo con Lennart e Daniel che la chiusura è un termine specifico per l'implementazione e non è qualcosa di ben definito in generale. Inoltre, non sento Haskellers parlare di chiusure molto al di fuori dei problemi di implementazione; quando i programmatori in altre lingue parlano casualmente di "chiusure", in genere intendono ciò che chiamiamo "lambda". (Come in "quella lingua ha chiusure?")

In ogni caso, parliamo di GHC.

GHC (o, più precisamente, STG) chiama una chiusura qualsiasi oggetto heap che non è un'applicazione di costruzione.

(Nel caso che questa sia una definizione ampia, confrontare questo con il STG lavoro originale in cui anche i costruttori sono stati chiamati chiusure.)

tuo inf è certamente una chiusura STG; è un thunk che verrà assegnato all'heap e restituito al chiamante.