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 Wolfgang Corcoran-Mathe 15 Jun 2021 19:30 UTC

On 2021-06-13 21:18 +0200, Marc Nieper-Wißkirchen wrote:
> > How does associating a type with a unique string guarantee its
> > disjointness in Scheme's type system?  Unless a future standard
> > incorporates something about types with different UUIDs being
> > disjoint into its semantics, I don't see how this is any more
> > meaningful than the current advisory statements.  It seems a
> > little like associating booleans with the Empire State Building
> > and vectors with the Chrysler Building; sure, those are unique
> > things, but what does it say about Scheme?
> >
>
> R6RS §11.1. Base types: "No object satisfies more than one of the following
> predicates: ..."
>
> [snip]
>
> PS: As the R7RS base language is not rich enough, I have to cite R6RS here,
> but the semantics can be applied mutatis mutandis to R7RS as well (as we
> are talking about opaque and sealed record types).

Sorry, I would like to have Read The Fine Standard before
commenting.

I'm still hesitant to adopt this for SRFI 224; as John mentions,
I wonder if it makes sense to require *all* implementations of SRFI
224 to provid a fxmapping type with the same UID.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"In conversations with Web performance advocates, I sometimes
feel like a hippie talking to SUV owners about fuel economy."
--Maciej Ceglowski