unofficial mirror of guile-user@gnu.org 
 help / color / mirror / Atom feed
From: Damien Mattei <damien.mattei@gmail.com>
To: Matt Wette <matt.wette@gmail.com>
Cc: guile-user <guile-user@gnu.org>
Subject: Re: Fwd: new function
Date: Tue, 21 Sep 2021 15:04:29 +0200	[thread overview]
Message-ID: <CADEOadcb84OQxMRBPT6Bp9ejSB6MV6vs-wPs-Lqyvz10nhDRBg@mail.gmail.com> (raw)
In-Reply-To: <1f773384-058a-f2e3-69cf-b0e23033ec2d@gmail.com>

i have tested define-once
http://www.gnu.org/software/guile/docs/master/guile.html/Top-Level.html
(the defvar of Lisp)and idea are:
-unfortunately it is considered by scheme as a define,so there is some
context where it is not allowed in my code
-seems to work fine at toplevel (as mentioned in doc) but strange behavior
in a function, i did not understand really what happened but i got some
#unspecified value.

here are my test code:
cheme@(guile-user)> (define (foo2)
  (define-once  x 1)
  (if #t
      (let ()
        (define-once x 2)
        ;;(set! x 2)
        (display "x=")
        (display x)
        (newline))
      'never)
  (display x)
  (newline))
scheme@(guile-user)> x
;;; <unknown-location>: warning: possibly unbound variable `x'
ice-9/boot-9.scm:1669:16: In procedure raise-exception:
Unbound variable: x

Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
scheme@(guile-user) [1]> ,q
scheme@(guile-user)> (foo2)
x=2
1
scheme@(guile-user)> (foo2)
x=2
1
scheme@(guile-user)> x
;;; <unknown-location>: warning: possibly unbound variable `x'
ice-9/boot-9.scm:1669:16: In procedure raise-exception:
Unbound variable: x

Entering a new prompt.  Type `,bt' for a backtrace or `,q' to continue.
scheme@(guile-user) [1]> ,q
scheme@(guile-user)> (define x 3)
scheme@(guile-user)> (foo2)
x=#<unspecified>
#<unspecified>
scheme@(guile-user)> x
3

it does not seem to help me, perheaps if i can test the return of
#<unspecified> ....

Damien

On Sun, Sep 19, 2021 at 4:46 PM Matt Wette <matt.wette@gmail.com> wrote:

>
>
> On 9/19/21 3:38 AM, Maxime Devos wrote:
> > 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.
>
> Does this work for you?
>
> scheme@(guile-user)> (define a 1)
> scheme@(guile-user)> (define a 2)
> scheme@(guile-user)> a
> $2 = 2
> scheme@(guile-user)>
>
>
>
>
>
>
>


  parent reply	other threads:[~2021-09-21 13:04 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
2021-09-19 14:45     ` Matt Wette
2021-09-19 14:56       ` Maxime Devos
2021-09-21 13:04       ` Damien Mattei [this message]
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=CADEOadcb84OQxMRBPT6Bp9ejSB6MV6vs-wPs-Lqyvz10nhDRBg@mail.gmail.com \
    --to=damien.mattei@gmail.com \
    --cc=guile-user@gnu.org \
    --cc=matt.wette@gmail.com \
    /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).