From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Nala Ginrut Newsgroups: gmane.lisp.guile.bugs Subject: bug#18356: Should partial continuations capture the dynamic environment? Date: Wed, 15 Oct 2014 00:48:59 +0800 Message-ID: References: <87lhq7go7a.fsf@taylan.uni.cx> <87iojmlodk.fsf@taylan.uni.cx> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1413305425 31360 80.91.229.3 (14 Oct 2014 16:50:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 14 Oct 2014 16:50:25 +0000 (UTC) Cc: 18356@debbugs.gnu.org To: "Taylan Ulrich Bayirli/Kammer" Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Oct 14 18:50:19 2014 Return-path: Envelope-to: guile-bugs@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 1Xe5Ig-0000i8-Tg for guile-bugs@m.gmane.org; Tue, 14 Oct 2014 18:50:19 +0200 Original-Received: from localhost ([::1]:39475 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xe5Ig-0002Nk-Jd for guile-bugs@m.gmane.org; Tue, 14 Oct 2014 12:50:18 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:53950) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xe5IZ-0002NI-0b for bug-guile@gnu.org; Tue, 14 Oct 2014 12:50:15 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Xe5IQ-0001Ki-He for bug-guile@gnu.org; Tue, 14 Oct 2014 12:50:10 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:51884) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xe5IQ-0001K2-74 for bug-guile@gnu.org; Tue, 14 Oct 2014 12:50:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Xe5IP-0001yN-PO for bug-guile@gnu.org; Tue, 14 Oct 2014 12:50:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Nala Ginrut Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 14 Oct 2014 16:50:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 18356 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 18356-submit@debbugs.gnu.org id=B18356.14133053447500 (code B ref 18356); Tue, 14 Oct 2014 16:50:01 +0000 Original-Received: (at 18356) by debbugs.gnu.org; 14 Oct 2014 16:49:04 +0000 Original-Received: from localhost ([127.0.0.1]:43448 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Xe5HT-0001wt-6h for submit@debbugs.gnu.org; Tue, 14 Oct 2014 12:49:03 -0400 Original-Received: from mail-lb0-f182.google.com ([209.85.217.182]:57211) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Xe5HR-0001wU-Ah for 18356@debbugs.gnu.org; Tue, 14 Oct 2014 12:49:02 -0400 Original-Received: by mail-lb0-f182.google.com with SMTP id z11so8364534lbi.41 for <18356@debbugs.gnu.org>; Tue, 14 Oct 2014 09:48:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=ZGXD9nCrB6DuC7Pz+NadEMDMeWNPM8ZLIuFk2iYTQig=; b=tB1J5cCWjPpdxUZE/EPwaDs/pYjP5MK11j2vFafsjYPSnyqySwePZYFaYQaWIcDlWO poFHXa3GJrLSvog3PXibKhXVmq8iuUKyKuuv5SSnxYM8LH0Ex+53ZvYmuz9c1gYZTQ4v zE+dw4cLqCyv5mP4L+g9Emh4zT7NxfEOcWphoxm4vuHq58iG/7Y9BxWFdgCXh59u8zal 35XGkve+ChtN3Q9f+kLqEBv6tuGwTj1pOkag+QGJbQie4X3+bO2XzT6xB1zLYoHXQHW2 4q5A5qTysWkUt/Nh2+ICYmSytGLi7R9o1iX/rjd4kYoDvzxGvYryToxxEnhsozTMJ9k0 Efhg== X-Received: by 10.112.169.106 with SMTP id ad10mr6577747lbc.13.1413305339816; Tue, 14 Oct 2014 09:48:59 -0700 (PDT) Original-Received: by 10.152.28.105 with HTTP; Tue, 14 Oct 2014 09:48:59 -0700 (PDT) In-Reply-To: <87iojmlodk.fsf@taylan.uni.cx> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7615 Archived-At: Thanks for researching and explaining this issue! It's helpful for me to think about how to deal with my async server design based on delimited-continuation. I think it's fine if it doesn't capture dynamic environment, even cooler, so that the dynamic state could be well understood and traced by users more easily. On Tue, Oct 14, 2014 at 10:25 PM, Taylan Ulrich Bayirli/Kammer wrote: > It has been explained on the #guile Freenode channel that this > behavior is indeed desired and not a bug, being argued for by some > authors of papers on delimited continuations: > > http://www.cs.utah.edu/plt/publications/icfp07-fyff.pdf > > http://okmij.org/ftp/papers/DDBinding.pdf > > > In short, no: partial continuations in Guile should not (and do not) > capture their dynamic environment. > > > Thanks to Andy Wingo for the clarification. > > Taylan > > >