unofficial mirror of guile-user@gnu.org 
 help / color / mirror / Atom feed
From: Olivier Dion via General Guile related discussions <guile-user@gnu.org>
To: Damien Mattei <damien.mattei@gmail.com>, guile-user <guile-user@gnu.org>
Subject: Re: escaping from a recursive call
Date: Wed, 09 Nov 2022 12:55:42 -0500	[thread overview]
Message-ID: <87y1sknhb5.fsf@laura> (raw)
In-Reply-To: <CADEOadeiDXwvhci1HoKfdj2Ezq5nvorzAoRNMB181ghoPy2C7w@mail.gmail.com>

On Wed, 09 Nov 2022, Damien Mattei <damien.mattei@gmail.com> wrote:
> but in the general case  , i want a macro that can do it on any function
> (i'm not sure it can be done because the continuation have to be captured
> just before the call to the function and be inlined at the good
> place....)

I'm not aware of any control mechanism that are implicit in Guile.  You
almost always have to deal with a continuation object.  However, nothing
prevent you to invent your own control flow wrapper.

For example:
--8<---------------cut here---------------start------------->8---
(define my-prompt (make-prompt-tag))

(define-syntax-rule (return-now x)
  (abort-to-prompt my-prompt x))

(define (wrap-this procedure)
  (let ((inside? #f))
    (lambda args
      (if inside?
          (apply procedure args)
          (begin
            (set! inside? #t)
            (let ((ret
                   (call-with-prompt my-prompt
                     (lambda ()
                       (apply procedure args))
                     (lambda (_ x)
                       x))))
              (set! inside? #f)
              ret))))))

(define-syntax define-interruptible
  (syntax-rules ()
    ((_ (name formals ...) body ...)
     (define name
       (wrap-this
        (lambda (formals ...) body ...))))))

(define-interruptible (foo n)
  (cond
   ((= n 0) 'end0)
   ((= n 7) (return-now 'end7))
   (else
    (cons n (foo (1- n))))))

(pk (foo 5))
(pk (foo 10))
--8<---------------cut here---------------end--------------->8---

There's probably other way of doing so that I'm not aware of.

-- 
Olivier Dion
oldiob.dev



  reply	other threads:[~2022-11-09 17:55 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-11-09 15:56 escaping from a recursive call Damien Mattei
2022-11-09 16:51 ` Olivier Dion via General Guile related discussions
2022-11-09 17:18   ` Damien Mattei
2022-11-09 17:55     ` Olivier Dion via General Guile related discussions [this message]
2022-11-09 18:49       ` Damien Mattei
2022-11-10  1:20         ` Olivier Dion via General Guile related discussions
2022-11-10  4:56           ` tomas
2022-11-10  6:01             ` Damien Mattei
2022-11-10  5:25           ` Damien Mattei
2022-11-10 17:03             ` Olivier Dion via General Guile related discussions
2022-11-10 12:32       ` Chris Vine
2022-11-10 13:48         ` Damien Mattei
2022-11-09 18:56     ` Zelphir Kaltstahl

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/guile/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87y1sknhb5.fsf@laura \
    --to=guile-user@gnu.org \
    --cc=damien.mattei@gmail.com \
    --cc=olivier.dion@polymtl.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).