Ich habe herumgestöbert Fortsetzungen vor kurzem und ich wurde über die korrekte Terminologie verwirrt.Hie Gabriel Gonzalez sagt:

Eine Haskell-Fortsetzung hat den folgenden Typ:

newtype Cont r a = Cont { runCont :: (a -> r) -> r }

d.h. das Ganze(a -> r) -> r Sache ist die Fortsetzung (ohne Verpackung)

Das Wikipedia article scheint diese Idee zu unterstützen, indem er @ sa

ine Fortsetzung ist eine abstrakte Darstellung des Steuerzustands eines Computerprogramm

Jedoch,Hie Die Autoren sagen, dass

Continuations sind Funktionen, die "die verbleibende zu erledigende Berechnung" darstellen.

aber das wäre nur das(a->r) Teil von demCont Art. Und dies entspricht den Aussagen von Eugene ChingHie:

eine Berechnung (eine Funktion), die eine Fortsetzungsfunktion benötigt, um vollständig ausgewertet zu werden.

Wir werden diese Art von Funktion häufig sehen, daher geben wir ihr einen intuitiveren Namen. Nennen wir sie Wartefunktionen.

Ich habe ein weiteres Tutorial gesehen (Brian Beckman und Erik Meijer), in dem sie das Ganze (die Wartefunktion) als @ bezeichne beobachtbar und die Funktion, die benötigt wird, um das @ zu vervollständigBeobachte.

Was ist die Fortsetzung, das(a->r)->r Ding oder einfach das(a->r) Ding (ohne Verpackung)?Ist der Wortlaut beobachtbar / Beobachter ungefähr korrekt?ind die obigen Zitate wirklich widersprüchlich, gibt es eine gemeinsame Wahrhei