From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Matt Wette <matt.wette@gmail.com>
Newsgroups: gmane.lisp.guile.devel
Subject: guile support for multiple languages [was: [PATCH] add language/wisp
 to Guile?]
Date: Mon, 2 Oct 2023 14:46:11 -0700
Message-ID: <31a9f6d2-6ac3-7d18-2f66-d41d2360849e@gmail.com>
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>
 <87bkdhjc4s.fsf@dustycloud.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="19529"; mail-complaints-to="usenet@ciao.gmane.io"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.15.1
Cc: Maxime Devos <maximedevos@telenet.be>, =?UTF-8?Q?Ludovic_Court=c3=a8s?=
 <ludo@gnu.org>, guile-devel@gnu.org
To: Christine Lemmer-Webber <cwebber@dustycloud.org>,
 Philip McGrath <philip@philipmcgrath.com>
Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Mon Oct 02 23:46:54 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 1qnQkf-0004nH-PR
	for guile-devel@m.gmane-mx.org; Mon, 02 Oct 2023 23:46:53 +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 1qnQk8-0005Bq-5E; Mon, 02 Oct 2023 17:46:20 -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 <matt.wette@gmail.com>)
 id 1qnQk6-0005BQ-3Z
 for guile-devel@gnu.org; Mon, 02 Oct 2023 17:46:18 -0400
Original-Received: from mail-pf1-x42a.google.com ([2607:f8b0:4864:20::42a])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <matt.wette@gmail.com>)
 id 1qnQk4-00074g-Hl; Mon, 02 Oct 2023 17:46:17 -0400
Original-Received: by mail-pf1-x42a.google.com with SMTP id
 d2e1a72fcca58-694ed84c981so188542b3a.3; 
 Mon, 02 Oct 2023 14:46:15 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1696283174; x=1696887974; darn=gnu.org;
 h=content-transfer-encoding:in-reply-to:from:content-language
 :references:cc:to:subject:user-agent:mime-version:date:message-id
 :from:to:cc:subject:date:message-id:reply-to;
 bh=NcAuEeXd25yU2al23MS8gjwAGs+LMshGEyZwnqWzGWM=;
 b=iaJQnQNqgQbsqLJQ0hjn/J93SoN2XS1HlIYPoChhgXi7zls65+y7iUtQUnKhf+tcMU
 gynUzF4YkI3tS/3jrmTW2q/kLsJ/E1wD30pXK4xc+wRmurNL+OVz/KTGPlzABQKM30YT
 n8o5j8ItySwZmF44p/4pu7Vm7IoWX87b3VZ64MRpOvN6uaogelgsT12oixMjohhAzPvE
 tNLdVrqllzzFtaH2r22jAms1dGciMUGc9NwvXn6IPPMmrVnB0FJld5QS01TBYCMWQkG2
 oL/3Fzupry0Wvywf0OgaBLrnj0Dt8z51Nl3NBAdjh16xq+Wtg6fBhHOQBnVVd8adxkWx
 NsZw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1696283174; x=1696887974;
 h=content-transfer-encoding:in-reply-to:from:content-language
 :references:cc:to:subject:user-agent:mime-version:date:message-id
 :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=NcAuEeXd25yU2al23MS8gjwAGs+LMshGEyZwnqWzGWM=;
 b=P6W9F0Z1kHlpPBXB3GqcsbotxrwLy03ycnYfgTSF4rYthBmcmEKzYTVVjuhtkD1E0w
 AfRNKfN7gC4P9mNsRFP39eVATHKq1WDK7vRySs+tEadq6O/NKZl7KToTQ9igPLq8rby+
 KwfKzxKKfgqK3vqOKDUV9iEV+zyIFxs6Bmfgy4JGTqCLJUgGQg4F0FWjsfH89/r+nS/z
 AgnrPumaKMyMcq4HkxM6LdNxAJ77CyahVc04Ep7rSWnYN2I4A8OtUbVXS+uzAGAIxhBZ
 6wZK0Mg3BOcyFh6CT5OWCfO4Q4Nip6QDuBe9JGuBP8vuJ7pIvT9V1Ly5wTT2ipMoP4gY
 o0lw==
X-Gm-Message-State: AOJu0Yzylq7UEx5Kx5vLKztK/6v44fl74lCTBkKREj5dQpXQzqxaU4Mb
 v+Z5PhHZSKxbmd4IhJKXFCKg/mYMjY17/Q==
X-Google-Smtp-Source: AGHT+IF6abIZ2Dh+bx7jAya3Zm+5CA9JuQtAwnXLDyLGPbHdxsRGjEiec4kYmbH3I7q4DI/Hs3GmdA==
X-Received: by 2002:a05:6a00:1951:b0:68f:dd50:aef8 with SMTP id
 s17-20020a056a00195100b0068fdd50aef8mr11217609pfk.4.1696283174223; 
 Mon, 02 Oct 2023 14:46:14 -0700 (PDT)
Original-Received: from [192.168.2.155] (64-52-138-37.championbroadband.com.
 [64.52.138.37]) by smtp.gmail.com with ESMTPSA id
 e18-20020aa78252000000b006933822e7a6sm9413124pfn.66.2023.10.02.14.46.12
 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
 Mon, 02 Oct 2023 14:46:13 -0700 (PDT)
Content-Language: en-US
In-Reply-To: <87bkdhjc4s.fsf@dustycloud.org>
Received-SPF: pass client-ip=2607:f8b0:4864:20::42a;
 envelope-from=matt.wette@gmail.com; helo=mail-pf1-x42a.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 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, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=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:22007
Archived-At: <http://permalink.gmane.org/gmane.lisp.guile.devel/22007>



On 10/2/23 7:59 AM, Christine Lemmer-Webber wrote:
> "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

Maybe I missed something, but I believe guile does separate these.
Languages are supported with the "spec.scm" files in which are
specified #:reader, #:evaluator and #:make-default-environment.

Matt