> From: Sebastian Tennant
>
> > Quoth Keith Wright :
>
> > I don't know what happens (in Guile), but I can tell
> > you what _should_ happen. (In my humble opinion as
> > a demi-god of semantics.)
>
> I'm trying to wrap my head around symbols, variables
> and names of variables. They seem to
Well that is true. I think now i know how to handle the hammer it's time to
look into sisc again. Thanks,
Bert
Original message
From: Linas Vepstas
Sent: 19 Dec 2008 08:34 -08:00
To: Bertalan Fodor
Cc:
Subject: Re: 1+ is not R5RS
Sebastian Tennant:
Quoth "Kjetil S. Matheussen" :
Yes, this limitation in Scheme is a horrible pest. There's no
decent reason why you shouldn't be allowed to use define other
places than right after a lambda, except the long discussion
involved how it should behave in various situations. But e
2008/12/19 Bertalan Fodor :
> Thank you for your suggestion. I was thinking for a long time about these,
> and still I'm not convinced (by myself :-)) to use these projects. The
> little pecularities of these I think would make the effort as hard as
> creating a new one. Sisc's implementation was e
Quoth l...@gnu.org (Ludovic Courtès):
> Hi,
>
> Sebastian Tennant writes:
>
>> My semantic point is that the first argument to definer (above) is not a
>> symbol and it's not a variable (an unbound variable error would be
>> thrown if it was), so in the context of the first agument to define
>> th
Hi,
Sebastian Tennant writes:
> My semantic point is that the first argument to definer (above) is not a
> symbol and it's not a variable (an unbound variable error would be
> thrown if it was), so in the context of the first agument to define
> there is a third data type; 'variable name'.
Bewa
> Quoth Keith Wright :
>> From: Sebastian Tennant
>>
>> guile> (define-macro (definer var val)
>> `(define ,var ,val))
>> guile> (definer 'foo "bar")
>> guile> foo
>> ERROR: Unbound variable: foo
>> ABORT: (unbound-variable)
>>
>> No doubt this fails for the same reason this does:
Quoth l...@gnu.org (Ludovic Courtès):
> Sebastian Tennant writes:
>
>> Incidentally, perhaps you can tell me why the first argument to this
>> compile-friendly macro has to be a string for it to work.
>>
>> guile> (define-macro (definer var val)
>> `(define ,var ,val))
>> guile> (defin
On Thu, 2008-12-18 at 22:09 +0100, Ludovic Courtès wrote:
> It'll be hard to get a definite answer: these procedures have "always"
> been there, at least since Jim Blandy became Guile's maintainer:
>
> commit 0f2d19dd46f83f41177f61d585732b32a866d613
> Author: Jim Blandy
> Date: Thu Jul 2