Re: Translator and R5RS

[Karl M. Hegbloom]

>>>>> "Michael" == Michael Livshin <address@hidden> writes:

    >> As another example, someone would translate the following C-like
    >> code
    >> 
    >> foo (flag)
    >> {
    >> if (flag) return 1;
    >> /* something */
    >> }
    >> 
    >> into
    >> 
    >> (define-function-with-block (foo flag)
    >> (if flag (return 1))
    >> ;; something
    >> )
    >> 
    >> and implement `return' by using a continuation or throw.

    Michael> implementing `return' in terms of `throw' is workable, I guess.  
fwiw,
    Michael> Common Lisp has a `return-from' primitive, which is supposed to be
    Michael> understood by the compiler and to not require an extra-lexical
    Michael> run-time mechanism (i.e. throw) to implement.

 There is a good discussion of this in "Lisp in Small Peices" by
 Christian Queinnec.