Aide-dynamique du vent et appel/cc

Question

J'ai du mal à comprendre le comportement du programme du schéma suivant:

(define c 
    (dynamic-wind 
    (lambda() (display 'IN)(newline)) 
    (lambda() (call/cc (lambda (k) 
        (display 'X)(newline) 
        k))) 
    (lambda() (display 'OUT)(newline)))) 

Si je comprends bien, c sera lié au continution créé juste avant « (affiche 'X) ".

Mais utiliser c semble se modifier! La définition des impressions ci-dessus (comme je m'y attendais) IN, X et OUT:

IN 
X 
OUT 

Et il est une procédure:

#;2> c 
#<procedure (a9869 . results1678)> 

Maintenant, je pense que quand il est appelé à nouveau, X serait imprimé, et ce n'est pas!

#;3> (c) 
IN 
OUT 

Et maintenant c n'est plus une procédure, et une deuxième invocation de c ne fonctionnera pas!

#;4> c ;; the REPL doesn't answer this, so there are no values returned 
#;5> (c) 

Error: call of non-procedure: #<unspecified> 

     Call history: 

     <syntax>   (c) 
     <eval>    (c) <-- 

Je me attendais à ce que chaque invokation à (c) ferait la même chose - imprimer IN, X et OUT. Qu'est-ce que je rate?

Answer 1

L'exécution de cette Racket est un peu plus utile:

-> (define c 
    (dynamic-wind 
     (lambda() (display 'IN)(newline)) 
     (lambda() (call/cc (lambda (k) 
          (display 'X)(newline) 
          k))) 
     (lambda() (display 'OUT)(newline)))) 
IN 
X 
OUT 
-> c 
#<continuation> 
-> (c) 
IN 
OUT 
define-values: context (defining "c") expected 1 value, received 0 values 
-> (c 99) 
IN 
OUT 
-> c 
99 

Notez que spécifiquement c lié à une obtient la valeur de continuation - parce que votre expression retourne k comme valeur. Et k lui-même est la continuation de l'expression de valeur, ce qui signifie que cette continuation est celle qui attend d'obtenir une valeur à être liée à c. Donc, l'invoquer nécessite une seule valeur, comme le requiert Racket, ce qui permet de clarifier ce qui se passe ici (le MIT Scheme semble le traiter silencieusement comme non spécifié). Quoi qu'il en soit, l'application de cette continuation sur 99 signifie que la valeur de retour de cette expression est 99 - vous revenez dans le contexte (impression IN) et renvoyez 99 pour être lié à c, et d'imprimer OUT pour sortir. Vous avez maintenant modifié c pour avoir cette 99 à la place, donc vous ne pouvez pas l'appeler une troisième fois.