guile-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] add language/wisp to Guile?


From: Dr. Arne Babenhauserheide
Subject: Re: [PATCH] add language/wisp to Guile?
Date: Mon, 27 Feb 2023 06:00:17 +0100
User-agent: mu4e 1.8.13; emacs 28.1

Philip McGrath <philip@philipmcgrath.com> writes:

> On Sunday, February 26, 2023 6:02:04 AM EST Marc Nieper-Wißkirchen wrote:
>> Am So., 26. Feb. 2023 um 08:46 Uhr schrieb <guile-devel-request@gnu.org>:
>> I would like to make two remarks, which I think are essential to get
>> the semantics right.
>> 
>> The R6RS comments of the form "#!r6rs" are defined to modify the
>> lexical syntax of the reader; possibly, they don't change the language
>> semantics (after reading).  In particular, "#!r6rs" also applies to
>> data files but does not affect the interpretation of the data after it
>> is read. It cannot because the reader otherwise ignores and does not
>> report comments.
>> 
>> Thus a comment of the form "#!r6rs" may be suitable for Wisp, but it
>> is not a substitute for Racket's "#lang" (or a similar mechanism).
>> Guile shouldn't confuse these two different levels of meaning.
>
> I agree that it's important to distinguish between lexical syntax (`read`) 
> and 
> the semantics of what is read.
>
> However, Racket's `#lang` in fact operates entirely at the level of
> `read`.

I would like to stress here that we’re talking about Guile where the
infrastructure works differently, so "this is how Racket does it" isn’t
that relevant to the question about the right way for Guile.

Guile uses explicit language specifications with reader, compiler,
decompiler, evaluator, printer and default environment.

That is for what we need to find good solutions.

Best wishes,
Arne
-- 
Unpolitisch sein
heißt politisch sein,
ohne es zu merken.
draketo.de

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]