From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Nala Ginrut Newsgroups: gmane.lisp.guile.devel Subject: Re: guile 3 update, halloween edition Date: Thu, 31 Oct 2019 09:31:26 +0800 Message-ID: References: <87o8xyhtz6.fsf@pobox.com> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="00000000000088207c05962acff6" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="229044"; mail-complaints-to="usenet@blaine.gmane.org" Cc: guile-devel To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Oct 31 02:32:15 2019 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iPzJu-000xRD-6l for guile-devel@m.gmane.org; Thu, 31 Oct 2019 02:32:14 +0100 Original-Received: from localhost ([::1]:45726 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iPzJs-00036L-75 for guile-devel@m.gmane.org; Wed, 30 Oct 2019 21:32:12 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38939) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iPzJO-00033I-5V for guile-devel@gnu.org; Wed, 30 Oct 2019 21:31:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iPzJM-0005Y8-Kt for guile-devel@gnu.org; Wed, 30 Oct 2019 21:31:41 -0400 Original-Received: from mail-yw1-xc36.google.com ([2607:f8b0:4864:20::c36]:39450) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iPzJM-0005Qd-Ac for guile-devel@gnu.org; Wed, 30 Oct 2019 21:31:40 -0400 Original-Received: by mail-yw1-xc36.google.com with SMTP id k127so1575494ywc.6 for ; Wed, 30 Oct 2019 18:31:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=PdaTg+HG69FjcqSRPXbdJMvL70H6ioPFBZHmrDMcghU=; b=QiXCkPKKRrDAwVJmQpbcBAwcNCH6O1egqter/2X2Z+DUcjbkxtGaDRv/3l6u8mxFgB nktbfiuuRLOa1oDI1aS7YywmhOxr5+2jy1J4OcbzHWb7IZxsxyXYYfW41bF/M4t37gVa 46H0iJvhM9ObJlVwkG9gC1d/Cr/lbuYBROrL28tT4WzCdfqc+q+UtjAqsyKHd8PfCOZG di4ehDvqwe4op9mEFB6UZMnqLLORCb/X8GZSCmK+KaDifAy5vyuDypQdQcn5ZLRPYyE2 oQ6Mvxt3OrUXHzlSJawxIXiHUlW2X2CkmYPBuukU11q1+ayfw+C0fDdZBgYACqnApogd wY4w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=PdaTg+HG69FjcqSRPXbdJMvL70H6ioPFBZHmrDMcghU=; b=YSjwlFAnvwlTc46cpWlHS7K51B/7vT5IgNc0dS3609zxhoxGxA6AgpWw3K0jvZSPh0 4awwmK6z621rYKOWbu2LmUQZS2b4INOe+hgDBktaFocJU+2CcYWWQeIWnWMNSaa20AM9 b1p9Ahtpte6vII3U2foOHJyNUs/rB94QDF2jW1xwWmEJlhryjas+BTd22uGMhhVI0Cyv qYtJinLq5dLoLsWBTn3ZUemOx/lYJlZY6Ss7cCuJejBnTR38QhsPTa4V6VuUZeKHyuFo bReb+jlK5R/KTP+4xeW2yBlQhpNX7LWFGL5vC4HSn2QnAcfzYEcLFPNs2D4EoPGXtgBd F2+g== X-Gm-Message-State: APjAAAUtSzy78txbN0RuDoNaFad4qJImMyZ93aNkEg76dM/1Zxg1fcv4 hRk9KiCq6naDJcKo/AFCG9ydJp2uXS9eNMUe1bA= X-Google-Smtp-Source: APXvYqz883ULQkEuaYHSiLE1oCRKKWyPjcoMsUHn8PVOyLrZ6PNBa2HWItwoeWD9x21C2hvlRX4edPXvCr7OCTpGFH8= X-Received: by 2002:a0d:d746:: with SMTP id z67mr2129780ywd.205.1572485498149; Wed, 30 Oct 2019 18:31:38 -0700 (PDT) In-Reply-To: <87o8xyhtz6.fsf@pobox.com> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::c36 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 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" Xref: news.gmane.org gmane.lisp.guile.devel:20131 Archived-At: --00000000000088207c05962acff6 Content-Type: text/plain; charset="UTF-8" Hi Andy! Thanks for all the work! On Thu, Oct 31, 2019 at 4:55 AM Andy Wingo wrote: > Hey folks! > > I wanted to send out an update on Guile 3. Do take a look at > https://git.savannah.gnu.org/cgit/guile.git/tree/NEWS to see where we've > come; basically the JIT is done, and we're ready to release soonish. > Guile powered by JIT was confirmed to increase at least 20% performance for Artanis. And this is a rough result of the early-bird version of Guile-2.9. I haven't tried the latest. I'm looking forward to an official release of Guile-3 so that I can manage to support the version detection correctly. It was 2.9 but should detect as 3.0, IIRC. > But! Now we have bootstrapping problems; how to get the implementation > in boot-9? Exceptions in SRFI-35, R6RS, R7RS, and Racket are these > hierarchical things: they form a DAG of subtypes. But core records in > Guile aren't subtypeable, so what to do? > Are you talking about Guile specific record-type? Personally, I've gradually reduced my usage of Guile records. I think R6RS records are better for me. I didn't know the Guile bootstrapping requires Guile specific record-type. So I don't know better advice. > There will be bijections > between a Guile's "throw" arguments and structured exceptions, mostly > inspired with what Julian did in the R6RS layer already. > That's cool! > Thoughts welcome! Also: should these structured error objects be named > exceptions or conditions? SRFI-35, R6RS, and R7RS say "conditions", but > racket and my heart say "exceptions"; wdyt? > I never say "condition" to describe an exception. I always say "exception". Most other languages use "exception" too. The term "condition" sounds like conditional branching. Best regards. --00000000000088207c05962acff6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Andy! Thanks for all the work!

On Thu, Oct 31, 2019= at 4:55 AM Andy Wingo <wingo@pobox.c= om> wrote:
https://git.savannah.gnu.org/cgit/guile.git/tre= e/NEWS to see where we've
come; basically the JIT is done, and we're ready to release soonish.

Guile powered by JIT was confirmed to inc= rease at least 20% performance for Artanis.=C2=A0
And this is a r= ough result of the early-bird version of Guile-2.9. I haven't tried the= latest.
I'm looking forward to an official release of Guile-= 3 so that I can manage to support the version detection correctly. It was 2= .9 but should detect as 3.0, IIRC.
=C2=A0
=C2=A0
<= blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-l= eft:1px solid rgb(204,204,204);padding-left:1ex"> But!=C2=A0 Now we have bootstrapping problems; how to get the implementatio= n
in boot-9?=C2=A0 Exceptions in SRFI-35, R6RS, R7RS, and Racket are these hierarchical things: they form a DAG of subtypes.=C2=A0 But core records in=
Guile aren't subtypeable, so what to do?

Are you talking about Guile specific record-type?
Personall= y, I've gradually reduced my usage of Guile records. I think R6RS recor= ds are better for me.
I didn't know the Guile bootstrapping r= equires Guile specific record-type. So I don't know better advice.
=C2=A0
There w= ill be bijections
between a Guile's "throw" arguments and structured exceptions= , mostly
inspired with what Julian did in the R6RS layer already.

That's cool!


Thoughts welcome!=C2=A0 Also: should these structured error objects be name= d
exceptions or conditions?=C2=A0 SRFI-35, R6RS, and R7RS say "condition= s", but
racket and my heart say "exceptions"; wdyt?
=
I never say "condition" to describ= e an exception. I always say "exception".=C2=A0
M= ost other languages use "exception" too. The term "condition= " sounds like conditional branching.
=C2=A0
Best r= egards.

--00000000000088207c05962acff6--