From: Maxime Devos <maximedevos@telenet.be>
To: Damien Mattei <damien.mattei@gmail.com>, guile-user <guile-user@gnu.org>
Cc: Jean-Paul Roy <jean-paul.roy@unice.fr>
Subject: Re: Fwd: new function
Date: Sun, 19 Sep 2021 12:38:21 +0200 [thread overview]
Message-ID: <ab59b61c8705177c3ba16f4e86b2373c4f45dd8b.camel@telenet.be> (raw)
In-Reply-To: <CADEOadetHC4aeA9m+yZ_jO9+T96tUyyA7cNXN1GozvYStADp3g@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 1826 bytes --]
Damien Mattei schreef op zo 19-09-2021 om 11:18 [+0200]:
> ---------- Forwarded message ---------
> From: Damien Mattei <damien.mattei@gmail.com>
> Date: Sun, Sep 19, 2021 at 9:54 AM
> Subject: new function
> To: <guile-devel@gnu.org>
>
>
> hello,
> i'm developing an extension to Scheme
> and i need a procedure or macro that define a variable only if it is not
> bind and if it is just set! it.
Could you give an example in which the hypothetical define-or-set! is used?
I wonder where such a thing would be useful.
> I can not do it in Guile or any Scheme,and i'm desperately searching a way
> to do that. I finally conclude that it can be done only by adding it in the
> language.
>
> Can someone include a such function in Guile next release?
> i know guile have a predicate defined?
defined? only works on global variables, not on lexicals,
and depends on the (current-module), which is not necessarily
the module defined? is used in.
> to test binfing of a vairable but
> writing a macro with it is not possible because define can be used in an
> expression context.
You can use 'syntax-local-binding'.
(use-modules (system syntax))
(define-syntax define-or-set!
(lambda (s)
(syntax-case s ()
((_ var value)
(case (syntax-local-binding #'var)
((lexical displaced-lexical) #'(set! var value))
((global) #'(define var value))
(else ???))))))
,expand (define-or-set! a 0) ; $_ = (define a 0)
,expand (let ((a 0)) (define-or-set! a 0) a) ; $_ = (let ((a 0)) (set! a 0) a)
(define-or-set! a 0)
,expand (define-or-set! a 0) ; $_ = (define a 0) (might or might not be acceptable for your use case
,expand (let () (define-or-set! a 0) (define-or-set! a 1) a) ; $_ = (let () (define a 0) (set! a 1))
Greetings,
Maxime.
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 260 bytes --]
next prev parent reply other threads:[~2021-09-19 10:38 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <CADEOadfF+rR=fW0fS-PkQkDN8EHFB1sJnkeePMJyc23m9shLgA@mail.gmail.com>
2021-09-19 9:18 ` Fwd: new function Damien Mattei
2021-09-19 10:38 ` Maxime Devos [this message]
2021-09-19 14:45 ` Matt Wette
2021-09-19 14:56 ` Maxime Devos
2021-09-21 13:04 ` Damien Mattei
2021-09-21 19:03 ` Maxime Devos
2021-09-22 7:52 ` Damien Mattei
2021-09-22 18:03 ` Maxime Devos
2021-09-22 19:12 ` Taylan Kammer
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=ab59b61c8705177c3ba16f4e86b2373c4f45dd8b.camel@telenet.be \
--to=maximedevos@telenet.be \
--cc=damien.mattei@gmail.com \
--cc=guile-user@gnu.org \
--cc=jean-paul.roy@unice.fr \
/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).