Haskell - ist das ein Verschluss?

Question

Es gibt ein Stück Sourcecode ist, die another one of my questions in einer Antwort entstand,

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" 

, wo ich ziemlich sicher bin, dass inf ein Verschluss sein müssen, da sie Zugriff auf Variablen von seinem umgebenden Gültigkeitsbereich im Sinne hat, dass es verwendet die an infFromPrefix übergebenen Parameter, aber bin unsicher, da im Wesentlichen infFromPrefix und inf die gleiche Funktion ist, erlaubt die inf nur eine prägnantere Definition. Eine äquivalente Definition würde

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

Am sein, die ich korrigieren, ist inf ein Verschluss?

Answer 1

Basierend auf dem Wiki-Artikel auf Closures in programming, ich denke, es kann gesagt werden, dass inf in der Tat ist nicht ein Verschluss:

Hinweis vor allem, dass die verschachtelten Funktionsdefinitionen sind nicht selbst Schließungen: sie ein frei haben Variable, die noch nicht gebunden ist. Nur wenn die umschließende Funktion mit einem Wert für den Parameter ausgewertet wird, wird die freie Variable der geschachtelten Funktionsgrenze gebunden, wodurch ein Abschluss erzeugt wird, der dann von der umschließenden Funktion zurückgegeben wird.

Answer 2

Ich würde Lennart und Daniel zustimmen, dass die Schließung ein implementationsspezifischer Begriff ist und im Allgemeinen nicht gut definiert ist. Außerdem höre ich Haskeller nicht viel über Schließungen außerhalb der Umsetzungsprobleme. Wenn Programmierer in anderen Sprachen beiläufig von "Schließungen" sprechen, meinen sie gewöhnlich das, was wir "Lambdas" nennen. (Wie in "hat diese Sprache Schließungen?".)

Wie auch immer, lassen Sie uns über GHC sprechen.

GHC (oder präziser STG) ruft ein Closure-Objekt auf, das kein Heap-Objekt ist, das keine Konstruktoranwendung ist.

(Falls Sie denken, dies eine weit gefasste Definition ist, vergleichen diese mit dem Original STG Papier, wo auch Konstrukteure Verschlüsse genannt wurden.)

Ihre inf ist sicherlich ein STG-Verschluss; Es ist ein Thunk, der auf dem Heap zugewiesen und an den Aufrufer zurückgegeben wird.