Disjoint types in SRFIs Marc Nieper-Wißkirchen 13 Jun 2021 09:06 UTC
Re: Disjoint types in SRFIs Lassi Kortela 13 Jun 2021 10:16 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 13 Jun 2021 10:29 UTC
Re: Disjoint types in SRFIs Lassi Kortela 13 Jun 2021 10:40 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 13 Jun 2021 11:50 UTC
Re: Disjoint types in SRFIs Lassi Kortela 13 Jun 2021 11:55 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 13 Jun 2021 13:11 UTC
Re: Disjoint types in SRFIs Wolfgang Corcoran-Mathe 13 Jun 2021 18:58 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 13 Jun 2021 19:18 UTC
Re: Disjoint types in SRFIs Wolfgang Corcoran-Mathe 15 Jun 2021 19:30 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 15 Jun 2021 20:52 UTC
Re: Disjoint types in SRFIs John Cowan 15 Jun 2021 21:55 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 16 Jun 2021 07:34 UTC
Re: Disjoint types in SRFIs Wolfgang Corcoran-Mathe 18 Jun 2021 20:33 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 18 Jun 2021 20:43 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 19 Jun 2021 10:02 UTC
Re: Disjoint types in SRFIs Marc Feeley 19 Jun 2021 12:29 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 19 Jun 2021 12:46 UTC
Re: Disjoint types in SRFIs Wolfgang Corcoran-Mathe 19 Jun 2021 17:49 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 19 Jun 2021 18:06 UTC
Re: Disjoint types in SRFIs Wolfgang Corcoran-Mathe 19 Jun 2021 17:08 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 19 Jun 2021 17:18 UTC
Re: Disjoint types in SRFIs Wolfgang Corcoran-Mathe 19 Jun 2021 18:09 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 19 Jun 2021 18:23 UTC
Re: Disjoint types in SRFIs Wolfgang Corcoran-Mathe 19 Jun 2021 20:34 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 19 Jun 2021 21:03 UTC
Re: Disjoint types in SRFIs John Cowan 13 Jun 2021 20:52 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 13 Jun 2021 21:17 UTC
Re: Disjoint types in SRFIs John Cowan 13 Jun 2021 21:38 UTC
Re: Disjoint types in SRFIs Marc Nieper-Wißkirchen 14 Jun 2021 07:04 UTC

Re: Disjoint types in SRFIs Lassi Kortela 13 Jun 2021 10:16 UTC

> It has already been argued several times that all these attempts so far
> are logically flawed and don't imply what they should.

Is there a succint statement of the flaw?

> Luckily, there is a solution, which can be implemented right now and
> which is future-proof, namely using uids, through which we can exactly
> express what we want.
>
> So the above sentence cited from SRFI 224 would become:
>
> "Fxmappings are instances of a sealed, opaque, nongenerative record type
> with uid
> fxmapping-2bf340e5-304e-436e-8478-926c7040f3f."

UUIDs are trivially unique, but suboptimal to have in contexts where
they are shown to people. Would this be something along the lines of:

(define-record-type fxmapping-2bf340e5-304e-436e-8478-926c7040f3f ...)

Another alternative is to allocate human-readable IDs and track them in
a table in <https://registry.scheme.org/>. Here too we'd be free to add
identifiers at SRFI publication time, RnRS publication time, or any
other time.