From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Rob Browning Newsgroups: gmane.lisp.guile.devel Subject: Re: [BUG] Eval sets incorrect runtime metainformation Date: Sat, 06 Jul 2024 11:42:49 -0500 Message-ID: <87frsmqxo6.fsf@trouble.defaultvalue.org> References: <87bk3pkqmt.fsf@trop.in> <87msn86ops.fsf@igalia.com> <20240626113611.g9cB2C0023K6y2F069cBEe@michel.telenet-ops.be> <87tthgj5hi.fsf@trop.in> <36db048b-2465-4088-b46c-b20e24cd0b66@philipmcgrath.com> <20240630010523.hb5N2C00D3x6CSs01b5P7x@xavier.telenet-ops.be> <718e88a7-36b8-4e72-84b6-5156f7d75896@philipmcgrath.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="3099"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "guile-devel@gnu.org" To: Philip McGrath Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Sat Jul 06 18:43:39 2024 Return-path: 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 ) id 1sQ8Vf-0000aJ-OP for guile-devel@m.gmane-mx.org; Sat, 06 Jul 2024 18:43:39 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sQ8Ux-0006Xb-At; Sat, 06 Jul 2024 12:42:55 -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 ) id 1sQ8Uw-0006XH-7W for guile-devel@gnu.org; Sat, 06 Jul 2024 12:42:54 -0400 Original-Received: from defaultvalue.org ([45.33.119.55]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sQ8Uu-00052j-HZ for guile-devel@gnu.org; Sat, 06 Jul 2024 12:42:53 -0400 Original-Received: from trouble.defaultvalue.org (localhost [127.0.0.1]) (Authenticated sender: rlb@defaultvalue.org) by defaultvalue.org (Postfix) with ESMTPSA id F3C37204C2; Sat, 6 Jul 2024 11:42:49 -0500 (CDT) Original-Received: by trouble.defaultvalue.org (Postfix, from userid 1000) id 6633A14E081; Sat, 6 Jul 2024 11:42:49 -0500 (CDT) In-Reply-To: <718e88a7-36b8-4e72-84b6-5156f7d75896@philipmcgrath.com> Received-SPF: pass client-ip=45.33.119.55; envelope-from=rlb@defaultvalue.org; helo=defaultvalue.org X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, 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" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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:22546 Archived-At: Philip McGrath writes: > I hadn't realized that other languages in Guile might compile to Tree-IL > directly instead of generating syntax objects. Is that common and/or > encouraged? It seems like it would require the new language's compiler > to do a lot of work that could otherwise be delegated to Guile, and it > would make it difficult to implement parts of the new language using macros. For what it's worth, Lokke (a Clojure dialect) does both. For the most part it compiles by producing Scheme code from its reader that's then rewritten by macros. But it also includes a pass or two at the Tree-IL level to handle some things that would be difficult to get right otherwise (while also preserving the fairly tight integration with Scheme that's intended). For example, they handle adding support for "keywords as functions" (in a generalized way), and resolving Clojure's namespaced symbols to Guile module refs. For anyone interested in the current arrangement (the README also covers a bunch of limitations, differences, etc.): https://codeberg.org/lokke/lokke/src/branch/main/DESIGN.md -- Rob Browning rlb @defaultvalue.org and @debian.org GPG as of 2011-07-10 E6A9 DA3C C9FD 1FF8 C676 D2C4 C0F0 39E9 ED1B 597A GPG as of 2002-11-03 14DD 432F AE39 534D B592 F9A0 25C8 D377 8C7E 73A4