From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Christine Lemmer-Webber <cwebber@dustycloud.org>
Newsgroups: gmane.lisp.guile.devel
Subject: Re: [PATCH] add language/wisp to Guile?
Date: Mon, 02 Oct 2023 10:59:33 -0400
Message-ID: <87bkdhjc4s.fsf@dustycloud.org>
References: <87h6w2fkz8.fsf@web.de>
 <f31a073e-6b8c-ce48-2917-53a13d76b108@telenet.be> <877cwxe4ar.fsf@web.de>
 <2f7d015d-ceb4-ef8f-b4fe-b69e39b723f8@telenet.be> <87357ldqaq.fsf@web.de>
 <1a70460e-11fb-9f5d-0d5f-1eb507d5af0d@telenet.be> <87ilg4j65e.fsf@web.de>
 <87edqsj5vt.fsf@web.de> <01212259-37dd-5d67-7bbc-101e01d96d01@telenet.be>
 <1a6c8dda-0124-124c-f932-937a11386ced@gmail.com> <87fsb5i912.fsf@web.de>
 <ece631e3-8b04-d538-1d8d-fd09fc8562cb@telenet.be>
 <08c725bd-84d4-4df9-a18c-6ee55d00634f@app.fastmail.com>
 <a20e0a05-8257-ee22-4af5-5d47871c0c90@telenet.be>
 <981b0e74-96c0-4430-b693-7fc8026e3ead@app.fastmail.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="39334"; mail-complaints-to="usenet@ciao.gmane.io"
User-Agent: mu4e 1.10.5; emacs 28.2
Cc: Maxime Devos <maximedevos@telenet.be>, Ludovic =?utf-8?Q?Court=C3=A8s?=
 <ludo@gnu.org>, Matt Wette <matt.wette@gmail.com>, guile-devel@gnu.org
To: Philip McGrath <philip@philipmcgrath.com>
Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Mon Oct 02 17:08:46 2023
Return-path: <guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org>
Envelope-to: guile-devel@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org>)
	id 1qnKXM-0009jN-Jo
	for guile-devel@m.gmane-mx.org; Mon, 02 Oct 2023 17:08:45 +0200
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <guile-devel-bounces@gnu.org>)
	id 1qnKWv-0000ir-98; Mon, 02 Oct 2023 11:08:17 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <cwebber@dustycloud.org>)
 id 1qnKWr-0000iY-Br
 for guile-devel@gnu.org; Mon, 02 Oct 2023 11:08:13 -0400
Original-Received: from wout3-smtp.messagingengine.com ([64.147.123.19])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <cwebber@dustycloud.org>)
 id 1qnKWm-0005fd-Po; Mon, 02 Oct 2023 11:08:11 -0400
Original-Received: from compute2.internal (compute2.nyi.internal [10.202.2.46])
 by mailout.west.internal (Postfix) with ESMTP id B36E432004E7;
 Mon,  2 Oct 2023 11:08:05 -0400 (EDT)
Original-Received: from mailfrontend2 ([10.202.2.163])
 by compute2.internal (MEProxy); Mon, 02 Oct 2023 11:08:06 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dustycloud.org;
 h=cc:cc:content-type:content-type:date:date:from:from
 :in-reply-to:in-reply-to:message-id:mime-version:references
 :reply-to:sender:subject:subject:to:to; s=fm2; t=1696259285; x=
 1696345685; bh=JEv+fYvJ8qFY4Iw9gYb6PLnSh1IREwJ32pJB9hGZHzk=; b=K
 gLYFtoOj2mWabwmKm4Gqft8VysGoAk6D6oRqqjbBmx+hwRGLiOka2sElfSSqPX42
 WY+N1o//wNuDdJJTwHAh7QifzA9UtSWprPyKv4AAoM0HjdMKlCOst9H5B0b8bXv6
 B91pjyGGmROtvqFGq1ahEfO0vWbMfPhoLZHhjSOYAl5AlnG6ULzeEpW+8EApowsN
 gKR2zENtGiajYc8By4mhCaWwldM5T87JFB+dTs5ogN6qw53dor3t5TUvklRNeWvO
 XZA3kIzddEkDlVQZRN2Hynzu+H0cjd4ghytxTRpRbz6fixPiFU7Zpv3k+p7rlJMK
 raVos9fKvPvWF9C0UWPEA==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
 messagingengine.com; h=cc:cc:content-type:content-type:date:date
 :feedback-id:feedback-id:from:from:in-reply-to:in-reply-to
 :message-id:mime-version:references:reply-to:sender:subject
 :subject:to:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender
 :x-sasl-enc; s=fm2; t=1696259285; x=1696345685; bh=JEv+fYvJ8qFY4
 Iw9gYb6PLnSh1IREwJ32pJB9hGZHzk=; b=VUIsumozml9nO/81YiiqDshabK9Gs
 ccA9bvfXfWgb9gIZRCMxrhs00DN++zRxjywdheTVVZ66tCTcNepYjEaYduhNpxPb
 obrmw3FNl44kNKH7niD0M4GpXquR0cpkx6/61KqUDJWMwunXbtRGO8qdfH8A1mjt
 JF1yWxjgXt3Zl2V2UNzFZRZrTRHirfjf73See2fOmlnBYe5tqRlDJ27zE5MC66nr
 kzhdCRYf9mPJK87TtHbBv8WpH0V2lRK455k+Zj8sJVSg+pa5R+A16nZ1NhAHfk4Q
 ksTQu9j3ca0MTc8mfcGY6mqaW07ElPOMropdL4NKOsxIAsfQLmV0IgHHg==
X-ME-Sender: <xms:1NwaZRbWwFLNWnhGIH9FWvETN3R_nDI_BqMsaGjsIZOE-wJd8zdOPA>
 <xme:1NwaZYYHsTQE5901XD5LToRfb2N0cLkk7mQAWLeXoBz1B446Bba_Az3BjD8Sr3wJa
 l-5qULVUmHFdnzS4Gk>
X-ME-Received: <xmr:1NwaZT_wCpfPGVQNCUrtrA1sKLDs42qz9EtKEFu2tbKpzkD-208Z7CCQtJ2mvDhQW38p4uG7IvByzw0KfElKUp1v>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvkedrvdelgdekiecutefuodetggdotefrodftvf
 curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu
 uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc
 fjughrpehffgfhvfevufffjgfkgggtsehttdertddtredtnecuhfhrohhmpeevhhhrihhs
 thhinhgvucfnvghmmhgvrhdqhggvsggsvghruceotgifvggssggvrhesughushhthigtlh
 houhgurdhorhhgqeenucggtffrrghtthgvrhhnpeeuffeftdffteffvdfghfelgfeutdef
 uedtvefgudeuleegveduteeuvdeghfeikeenucevlhhushhtvghrufhiiigvpedtnecurf
 grrhgrmhepmhgrihhlfhhrohhmpegtfigvsggsvghrseguuhhsthihtghlohhuugdrohhr
 gh
X-ME-Proxy: <xmx:1dwaZfpQeIQlGh2bgEf8gsiep3sk7R85ECz-pCj7GJAOblA3s2_ttw>
 <xmx:1dwaZcrati55TQQec5pbE3gRXGTZy9UO-EYE4eT2-SYCuI7uwKDBng>
 <xmx:1dwaZVRAi4tgCoNayIKe7jF6kshxMuQNzQ3oHHlvmINi_noL1uxUhA>
 <xmx:1dwaZXXcs9caBNs8DdzxeFriWYmXhIik2ho89p6MOP_jvBfVIQhhow>
Feedback-ID: i006446df:Fastmail
Original-Received: by mail.messagingengine.com (Postfix) with ESMTPA; Mon,
 2 Oct 2023 11:08:04 -0400 (EDT)
In-reply-to: <981b0e74-96c0-4430-b693-7fc8026e3ead@app.fastmail.com>
Received-SPF: pass client-ip=64.147.123.19;
 envelope-from=cwebber@dustycloud.org; helo=wout3-smtp.messagingengine.com
X-Spam_score_int: -27
X-Spam_score: -2.8
X-Spam_bar: --
X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-BeenThere: guile-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Developers list for Guile,
 the GNU extensibility library" <guile-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guile-devel>,
 <mailto:guile-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guile-devel>
List-Post: <mailto:guile-devel@gnu.org>
List-Help: <mailto:guile-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guile-devel>,
 <mailto:guile-devel-request@gnu.org?subject=subscribe>
Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org
Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org
Xref: news.gmane.io gmane.lisp.guile.devel:22004
Archived-At: <http://permalink.gmane.org/gmane.lisp.guile.devel/22004>

"Philip McGrath" <philip@philipmcgrath.com> writes:

> I've sort of alluded above to my pipe dream of a grand unified future
> for Racket-and-Guile-on-Chez, Guile-and-Racket-on-the-Guile-VM, and
> endless other possibilities. I wrote about it in more detail on the
> guix-devel list at [10]. (These thoughts were inspired by
> conversations with Christine Lemmer-Webber, though she bears no
> responsibility for my zany imaginings.)

It's a long email so I'm only quoting the part that mentions me.  ;)

In general I think the hash-lang idea in Racket is a neat one.  File
extensions are also possible I suppose, but ultimately, when the program
boots, there has to be some sort of way of finding the "current
configuration" of languages.

Note that #langs have an ambient authority problem, if we had a more
ocap'y system, but... we're far from that, any module can do a mess of
things, so I suppose if we're relying on the module system with ambient
authority already, the same situation may apply.

One thing that's worth noting is that languages do *two things* (or
three): they provide a reader, and they provide an execution model
(including an initial set of bindings).  It would be nice if we could
separate those two things as much as possible, when it is possible.
I think readers are the least interesting part of language design
usually.  But obviously I support Wisp here, so... ;)

 - Christine