Re: Dynamic variable binding

2008-12-19 Thread Keith Wright
> 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

Re: 1+ is not R5RS

2008-12-19 Thread Bertalan Fodor
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

Re: Placement of defines

2008-12-19 Thread Kjetil S. Matheussen
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

Re: 1+ is not R5RS

2008-12-19 Thread Linas Vepstas
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

Re: Dynamic variable binding

2008-12-19 Thread Sebastian Tennant
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

Re: Dynamic variable binding

2008-12-19 Thread 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 > there is a third data type; 'variable name'. Bewa

Re: Dynamic variable binding

2008-12-19 Thread Sebastian Tennant
> 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:

Re: Placement of defines

2008-12-19 Thread Sebastian Tennant
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

Re: 1+ is not R5RS

2008-12-19 Thread Ralf Mattes
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