W3C home > Mailing lists > Public > public-rdf-star@w3.org > February 2022

Referential transparency and opacity

From: Anthony Moretti <anthony.moretti@gmail.com>
Date: Thu, 10 Feb 2022 19:15:08 +1030
Message-ID: <CACusdfRKZ9Qboe1JwT35vCy46s1VAM9QRufOkfzWAeHV+oe4ug@mail.gmail.com>
To: public-rdf-star@w3.org
I'm aware there are still semantics issues, but if they're potentially
resolvable would it be possible to support both referentially transparent
and referentially opaque statements by using a different syntax for each?
So, I guess, something like:

    Referentially transparent statement:
    << S R O >>

    Referentially opaque statement:
    <<" S R O ">>

With one usage rule:

    Transparent statements can only be nested in transparent statements.

The rule means that once the <<" ">> delimiters are used everything inside,
no matter how deeply nested, is also referentially opaque, which keeps
things composable.

Just asking because I saw Thomas' email
<https://lists.w3.org/Archives/Public/public-rdf-star/2021May/0023.html> about
the topic.

Received on Thursday, 10 February 2022 08:50:40 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 10 February 2022 08:50:41 UTC