Re: Continuation sets and order-independency

2012-01-13 Thread Mark H Weaver
David Kastrup writes: > I assume that the above list could contain more than a single call of > (suspend). Yes, of course. >> For example, (%% list 1 2 3 (begin (suspend) 4) 5) expands to: >> >> (call-with-values >> (lambda () (parallel (suspendable list) >>(s

Re: A plea for local-eval in 2.0.4

2012-01-13 Thread Mark H Weaver
Probably the easiest way to think about it is that (the-environment) acts like (list (lambda () ) ...), with one `lambda' for each expression that you will later pass to `local-eval'. Calling `local-eval' simply calls the appropriate procedure in that list. Of course, it can't actually work that

Re: guile 2012

2012-01-13 Thread Dirk-Jan C . Binnema
Hi Andi, On 2012-01-07T04:34:39 EET, Andy Wingo wrote: > Greetings, Guilers! > > I hope this message finds all of you well: you, and yours, and all the > beings in your lives. It was really a pleasure to hack with yall last > year. [snip] > Again, speaking personally, 2011 has really bee

Re: Continuation sets and order-independency

2012-01-13 Thread David Kastrup
Mark H Weaver writes: > I'm still not entirely clear on what you want, Well, I said there were elements missing in the picture, so it is not like I am entirely clear on it myself. > but perhaps you're looking for delimited continuations, a.k.a > composable continuations, partial continuations,

Re: A plea for local-eval in 2.0.4

2012-01-13 Thread David Kastrup
Mark H Weaver writes: > David Kastrup writes: >> I am still fuzzy on what local-eval will do when the current module at >> the time of the-environment is different from that at the time of >> local-eval. > > (the-environment) saves the module (where it is textually located) in What does "where

Re: The empty string and other empty strings

2012-01-13 Thread David Kastrup
Mark H Weaver writes: > David Kastrup writes: > >> l...@gnu.org (Ludovic Courtès) writes: >> >>> Hi Mark, >>> >>> Mark H Weaver skribis: >>> What do other people think? >>> >>> As you said, R5RS makes it clear that there can be several (in the sense >>> of eq?) empty strings, so I think wh

Re: The empty string and other empty strings

2012-01-13 Thread Mark H Weaver
David Kastrup writes: > l...@gnu.org (Ludovic Courtès) writes: > >> Hi Mark, >> >> Mark H Weaver skribis: >> >>> What do other people think? >> >> As you said, R5RS makes it clear that there can be several (in the sense >> of eq?) empty strings, so I think what you did is the right thing. > > Si

Re: A plea for local-eval in 2.0.4

2012-01-13 Thread Mark H Weaver
David Kastrup writes: > I am still fuzzy on what local-eval will do when the current module at > the time of the-environment is different from that at the time of > local-eval. (the-environment) saves the module (where it is textually located) in the lexical environment object. If (the-environme

Re: A plea for local-eval in 2.0.4

2012-01-13 Thread David Kastrup
Mark H Weaver writes: > I'd like to make one last plea to include my simple `local-eval' > implementation in 2.0.4. My hope is that if we can ship it soon enough, > versions of Guile without `local-eval' will be rare enough to enable > Lilypond to eliminate their ugly hacks and simply declare th

Re: The empty string and other empty strings

2012-01-13 Thread David Kastrup
l...@gnu.org (Ludovic Courtès) writes: > Hi Mark, > > Mark H Weaver skribis: > >> What do other people think? > > As you said, R5RS makes it clear that there can be several (in the sense > of eq?) empty strings, so I think what you did is the right thing. Since it uses the same verbiage with reg