From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x335.google.com (mail-wm1-x335.google.com [IPv6:2a00:1450:4864:20::335]) by sourceware.org (Postfix) with ESMTPS id 4FFD5382EF28 for ; Wed, 7 Dec 2022 23:43:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 4FFD5382EF28 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-wm1-x335.google.com with SMTP id m4-20020a05600c3b0400b003d1cb516ce0so2262451wms.4 for ; Wed, 07 Dec 2022 15:43:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=gDDQz+61z/lCmdnyMEloNp3g1D6Iy4hoSgtsda7aW2o=; b=kBpwrSVAnms6b8Rm6NehlNFG2dlJ8I98QGOj/zOIIvl9rmZhdyL2ibrf5KTANWBP4k cQrnwwcNy02Z8Mc8sT7MZgdwn4duQheC+r3RlWBc8Aj8MdreAGjsqNmLDbkE23osEQ0R Gk3x8+PZjyQqNWMTbiHuSTh6mrauVeCCP74gYRqtPhkQEbj9Ki3tnaGOpayD5fUqyYCb P17YS72cHvMdEgfdduOC0ay6Lu+DNX9QLKT1w///zho6Wq/dMkrDReee+pgOg5HhU8DS jKlj3laUku4qDp3iPyS4HXWMrN1NJCx/ANCPjJlwn4svd8BqZpbdWLZ9/r3N1O/v4rSZ sBdQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=gDDQz+61z/lCmdnyMEloNp3g1D6Iy4hoSgtsda7aW2o=; b=B5MRMV+tTF2C6gnPs+2Np16SI9zOmslSifLc8ibPzyZJUFyO0E2DUK70rSCYt5YOZX nrUY6ppFKgONpSmNxb49clwsONElkXQYRaz2pZp6yIhJShedRlS6kW0e/SgRNDhOlZPw XiOZrCS8iY3gOz1KE00Iz8IEg4QqXGDSaWuwFtp5c23syA2kpONNiyOo6xnJt8Mi8hOK np0X93ASzFJzSvvxQbzJ9TjfugTFTiF5cYexJFiNSk1ZWLdh93nKeYMVFh3ekdF1O4tl OycEDIGS+dczU+jGwEVbvACPQYZLogAgvWSxnXZ5F28nvTZFBH7QGX21iLEiSxF6B7BZ Ft+g== X-Gm-Message-State: ANoB5pmPhR/cGMRbO0GwwLGUGSeVypSBIqU9ZPbg9774pZTWWsoVvNAI z3GxDSFqLph/EApIDXZWFVvXZZxg/kcdeYS1N6rJ1TRN1jYQEA== X-Google-Smtp-Source: AA0mqf4aSK9fCaO7uqoMLioUpxhNlX1fQcn6RjAYezQEq5Jo8RWeNVKF2LhiyWh1Arr7IXLyR1P6r7gFpPtqiMr2FNg= X-Received: by 2002:a05:600c:34d1:b0:3d0:878b:d003 with SMTP id d17-20020a05600c34d100b003d0878bd003mr16915255wmq.132.1670456591373; Wed, 07 Dec 2022 15:43:11 -0800 (PST) MIME-Version: 1.0 References: <23585.1619896007@localhost> <11feb74b-49fa-3fbd-213d-7d939dccfb1a@bothner.com> <666b9a7d-156b-0ee7-e1a1-9409cf0d376f@bothner.com> <45e812cb-0060-5905-8c2f-c2567d53a5b0@bothner.com> In-Reply-To: <45e812cb-0060-5905-8c2f-c2567d53a5b0@bothner.com> From: Duncan Mak Date: Wed, 7 Dec 2022 18:42:34 -0500 Message-ID: Subject: Re: First-class continuations in Kawa To: Per Bothner Cc: kawa@sourceware.org Content-Type: multipart/alternative; boundary="000000000000bde34605ef457b95" X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --000000000000bde34605ef457b95 Content-Type: text/plain; charset="UTF-8" There's a new SRFI effort on refining the continuation API: SRFI 226: Control Features (schemers.org) It'd be interesting to look into implementing this SRFI for Kawa Scheme. On Mon, Aug 9, 2021 at 3:42 PM Per Bothner wrote: > A suggestion: Polish and check in the code in the calcc branch. > Then change the interface so it is compatible that the tail-call API. > Specifically change the generated "fragments" so each looks like: > > static Object stubNN(Procedure proc, CallContext ctx) throws Throwable) > { ... } > > and call each fragment using MethodHandle#invokeExact. > > Of course this is not trivial: The person(s) doing this have to understand > not just logic of callcc changes but also how applyToConsumerMethod and > CallContext etc work, before they can synthesize them. > -- > --Per Bothner > per@bothner.com http://per.bothner.com/ > -- Duncan. --000000000000bde34605ef457b95--