From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: William ML Leslie Newsgroups: gmane.lisp.guile.devel Subject: Re: Redo Safe Variables, New take Date: Thu, 2 May 2013 19:21:06 +1000 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1367486475 18471 80.91.229.3 (2 May 2013 09:21:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 2 May 2013 09:21:15 +0000 (UTC) Cc: guile-devel To: Stefan Israelsson Tampe Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu May 02 11:21:14 2013 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UXphS-0002xU-O9 for guile-devel@m.gmane.org; Thu, 02 May 2013 11:21:14 +0200 Original-Received: from localhost ([::1]:51373 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UXphS-0003Ih-9Z for guile-devel@m.gmane.org; Thu, 02 May 2013 05:21:14 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:41048) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UXphO-0003Hu-GA for guile-devel@gnu.org; Thu, 02 May 2013 05:21:11 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UXphM-0000li-3L for guile-devel@gnu.org; Thu, 02 May 2013 05:21:09 -0400 Original-Received: from mail-bk0-x231.google.com ([2a00:1450:4008:c01::231]:36158) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UXphL-0000la-TJ for guile-devel@gnu.org; Thu, 02 May 2013 05:21:08 -0400 Original-Received: by mail-bk0-f49.google.com with SMTP id e19so162842bku.36 for ; Thu, 02 May 2013 02:21:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=IeOxvg8b1c1aj/qhFyABBa1w9/7iD1m21DpM7fEMhSA=; b=FUZQ6V0myQlWQgFljPZ0HJpcxi8ZuGLruTaE27bL3VAOekvfM00qGEWkJ2+fDmns3Q StvRgKxWMN5uYMFTfJZoG0hKj9ga1Om85Vw4vB1reLgP1RgrV+oNxrLHjA1PYb3FNwTY FQCHSf4B1Eq1gw8piHH/wgdlOHUjOtr/Dz+BQ8Y16+D4OoTeHlGJ3rrURGVYaqz8z30U 6FcfBV8iLzDMpi3vVbIPCq+TtcphGQRZKRO6ms1YkrQs1UcgzdeWjbANjtsVSk/ezRRG f4zvHBnLnaWRLafZrlgl7e0cL1hgAmyFU9RHkz2xWnNABQFN6luVufzlBCOQF5qhI5l6 CD+w== X-Received: by 10.204.162.8 with SMTP id t8mr1848943bkx.95.1367486467132; Thu, 02 May 2013 02:21:07 -0700 (PDT) Original-Received: by 10.204.41.139 with HTTP; Thu, 2 May 2013 02:21:06 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:4008:c01::231 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:16331 Archived-At: On 30 April 2013 06:15, Stefan Israelsson Tampe wrote: > Hi All, > > As I told you in an earlier mail I'm back cleaning up and reworking > guile-log and > refreshing the memory of the inner details of that code base enabled me to > rewrite > the spec for redo safe variables considerable. I think that it is much > cleaner now and > should be worthy of a good discussion. > > WDYT? I had gotten the impression from your earlier emails that redo-safe-variables was really about having a category of variable that has its /binding/ captured as part of the continuation, rather than have the environments captured; because each invocation of that continuation shares those same environments and may mutate them. This seemed like a simple, fairly orthogonal extension to the language, but what you are proposing seems much more complicated. It may be useful to arbitrarily delimit what the continuation captures, but even if that is a good idea I don't think I understand the API. Later on it starts to sound like MVCC. Have I misunderstood your motivation, or your implementation? -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely may reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to deny you those rights would be illegal without prior contractual agreement.