The Seasoned Schemer, letcc y astucia

Question

Algunas preguntas aquí, con respecto a letcc que se utiliza en The Seasoned Schemer.

(define (intersect-all sets) 
    (letcc hop 
    (letrec 
     ((A (lambda (sets) 
      (cond 
       ((null? (car sets)) (hop '()) 
       ((null? (cdr sets)) (car sets)) 
       (else 
       (intersect (car sets) 
          (A (cdr sets))))))) 
     ; definition of intersect removed for brevity 
     (cond 
     ((null? sets) '()) 
     (else (A sets)))))) 

1. creo que entiendo lo letcc se consiga, y que es, básicamente, algo así como catch y throw en Ruby (y aparentemente CL), que básicamente significa todo un bloque de código puede ser interrumpida por llamar a cualquier el nombre letcc es. Esto se siente como la cosa menos "funcional" que he encontrado en esta pequeña serie de libros y me hace sentir un poco indeciso de usarlo, ya que quiero aprender un buen estilo funcional. ¿Acabo de malinterpretar letcc, o no es realmente un concepto de programación funcional y solo existe para mejorar el rendimiento? La idea de que puedo estar en el medio de una rutina y de repente llegar a otro punto del código me parece un poco incorrecta ... como abusar de try/catch en Java para el flujo del programa.

2. letcc no parece existir en la versión de guile (1.8.7) que he instalado en OS X. ¿Hay otro nombre para el que debería estar buscando en astucia?

3. Si estoy malentendido letcc comparándolo con try/catch en Java, o la captura/tirar rubí (que es no manejo de excepciones, para ser claros, para los no Rubyistas), ¿cómo es exactamente funciona, a nivel funcional? ¿Se puede expresar de una manera más larga y compleja que me convence de que es funcional después de todo?

Answer 1

1. "funcional" tiene varios significados, pero sin significado populares continuaciones contradice de ninguna manera. Pero pueden pueden ser utilizados para crear código que es difícil de leer. No son herramientas que pueden ser "abusadas para el flujo del programa": son herramientas de flujo de programa.

2. No te puedo ayudar allí. Sé que hubo semi-recientes en las continuaciones en Guile, pero no sé dónde están las cosas. Definitivamente debería tener call-with-current-continuation, generalmente también bajo el nombre más descriptivo de call/cc, y let/cc es una macro simple que puede compilarse con call/cc.

   lo que puedo decir que, en la raqueta hay una orden interna let/cc junto con un montón de others builtins en el same family, y, además, hay un whole library de varios operadores de control (con una extensa lista de referencias.).

3. Los usos simples de let/cc son de hecho similares a un tipo de atrapar/lanzar - más específicamente, tales continuaciones se conocen comúnmente como "continuación de escape" (o algunas veces "hacia arriba"). Este es el tipo de uso que tiene en ese código, y que a menudo se utiliza para implementar un abort o un return.

   Pero las continuaciones en Scheme son cosas que pueden usarse en cualquier lugar.Para un ejemplo muy simple que muestra esta diferencia, intente esto:

   (define (foo f) (f 100)) 
   (let/cc k (+ (foo k) "junk") (more junk)) 
   

4. Por último, si desea obtener más información sobre las continuaciones, se puede ver las partes pertinentes de PLAI, también hay una mayor brief by-example overview que Mateo Podría escribió , y puede ver algunos class notes que escribí que están basados ​​en PLAI, con algunos ejemplos que se inspiraron en la última publicación.