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