From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: taylanbayirli@gmail.com (Taylan Ulrich =?utf-8?Q?Bay=C4=B1rl=C4=B1?= =?utf-8?Q?=2FKammer?=) Newsgroups: gmane.lisp.guile.user,gmane.lisp.guile.devel Subject: Re: Request for feedback on SRFI-126 Date: Mon, 28 Sep 2015 19:34:59 +0200 Message-ID: <87mvw61m7w.fsf@T420.taylan> References: <87zj08t5w1.fsf@T420.taylan> <8737xysfs9.fsf@dustycloud.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1443487853 17602 80.91.229.3 (29 Sep 2015 00:50:53 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 29 Sep 2015 00:50:53 +0000 (UTC) Cc: guile-user@gnu.org, guile-devel@gnu.org To: Christopher Allan Webber Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Tue Sep 29 02:50:52 2015 Return-path: Envelope-to: guile-user@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 1Zgj86-0000Lv-Bu for guile-user@m.gmane.org; Tue, 29 Sep 2015 02:50:50 +0200 Original-Received: from localhost ([::1]:43215 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zgj85-0002xr-EE for guile-user@m.gmane.org; Mon, 28 Sep 2015 20:50:49 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40062) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZgcJf-0008LP-9K for guile-user@gnu.org; Mon, 28 Sep 2015 13:34:20 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZgcJe-0005pO-B6 for guile-user@gnu.org; Mon, 28 Sep 2015 13:34:19 -0400 Original-Received: from mail-wi0-x229.google.com ([2a00:1450:400c:c05::229]:35499) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZgcJZ-0005lU-CW; Mon, 28 Sep 2015 13:34:13 -0400 Original-Received: by wicge5 with SMTP id ge5so115371446wic.0; Mon, 28 Sep 2015 10:34:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type:content-transfer-encoding; bh=6v/5S3K8Ld2q5K/eP6/VbFClDSBKrLviQc1bhnp3rcs=; b=ot0O/p3N2gE8EuBtKpY2z7Go8ZmpsOhznmWG5yeWjao8Iz3S6Nl0HGmc1wHlXsaTLP eQruKER6Hv2aWuBdqvr5K40Ypj7tE+LJqqO6STdkwouXdAIkRhIGUW0yUvpQ9LpElgJW Pf2crG8zYmzGPqZ2YD7ZOmTafB5owLolPXnXlIgTJTiLt+hpy9s5Jakor8Znxm0rEid4 B6ICTZLFjQRkqy93t2QHv04cO0HzuKpHHfqSk+FPVgDy3NukdqIQNtZXkHxvdjttrM66 lVt3SbuTLXVpQJ08axvlH3JhfQ+6LnG6RM0/ULVq+JYh6xiyzG7sC9rwJKV4crtDPL+U JP1g== X-Received: by 10.194.21.163 with SMTP id w3mr22935733wje.70.1443461652677; Mon, 28 Sep 2015 10:34:12 -0700 (PDT) Original-Received: from T420.taylan ([2a02:908:c32:4740:221:ccff:fe66:68f0]) by smtp.gmail.com with ESMTPSA id s1sm7182625wik.16.2015.09.28.10.34.11 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 28 Sep 2015 10:34:11 -0700 (PDT) In-Reply-To: <8737xysfs9.fsf@dustycloud.org> (Christopher Allan Webber's message of "Mon, 28 Sep 2015 10:46:24 -0500") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2a00:1450:400c:c05::229 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:12051 gmane.lisp.guile.devel:17871 Archived-At: Christopher Allan Webber writes: > Taylan Ulrich Bay=C4=B1rl=C4=B1/Kammer writes: > >> I will probably work on a delimited continuations SRFI, heavily inspired >> by Guile's call-with-prompt, since I find it *immensely* more easy to >> grok than shift/reset and prompt/control because those mingle together >> the "stack slice" and the "handler" code whereas call-with-prompt >> clearly separates them. > > This could be interesting! I wonder how hard it will be to do? IIRC > from reading wingolog, delimited continuations need to be planned in at > a pretty low level, and I wonder how hard it will be for many > implementations to bring them in who don't have them at present? Will > be interesting to see! > > Anyway, interesting to hear, good luck! Thanks for the encouragement! Yeah, AFAIUI delimited continuations are a very fundamental feature. They can't really be implemented in call/cc for instance, as some people used to claim I think. (And that's why they need to be part of the language, as I see it; if the language itself doesn't have them, there's no way to have them, and no way to implement all the things they make possible on a higher level.) Of course it might be useful not to entirely turn one's back against implementations that have a difficulty with that feature (it's pretty new compared to some other Scheme features AFAIK, and going fairly deep into the implementation), so it could be left optional, but sanctioned as the official API for implementations to support, if they support it in any way at all. Like SRFI-106 does for sockets. Taylan