--- Begin Message ---
Subject: |
Core records and R7RS records |
Date: |
Thu, 19 Dec 2019 17:24:55 +0100 |
I've read in the news that the upcoming Guile 3.0 will unify records.
Core records type seem to support the procedure "record-accessor",
which takes a field name as a symbol.
In R7RS (based on SRFI 9), record field names are, however, (hygienic)
identifiers and thus compile-time and not run-time identities. An R7RS
record type can, therefore, not support "record-accessor" and similar
procedures.
How is this going to be solved in Guile 3?
See the Rationale of SRFI 150 why R7RS record types use hygienic
identifiers (and should do so) for field names.
Marc
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#38672: Core records and R7RS records |
Date: |
Sun, 12 Jan 2020 21:57:53 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
On Thu 19 Dec 2019 17:24, Marc Nieper-Wißkirchen <address@hidden> writes:
> I've read in the news that the upcoming Guile 3.0 will unify records.
>
> Core records type seem to support the procedure "record-accessor",
> which takes a field name as a symbol.
>
> In R7RS (based on SRFI 9), record field names are, however, (hygienic)
> identifiers and thus compile-time and not run-time identities. An R7RS
> record type can, therefore, not support "record-accessor" and similar
> procedures.
>
> How is this going to be solved in Guile 3?
See
https://git.savannah.gnu.org/cgit/guile.git/commit/?id=86a9f9a27176968bbae46aceed114634ca7c693e
(just landed).
Cheers,
Andy
--- End Message ---