[Uri-review] Re: [art] Alternative representation of URIs in YANG

Sampo Syreeni <decoy@iki.fi> Sat, 06 December 2025 06:57 UTC

Return-Path: <decoy@iki.fi>
X-Original-To: uri-review@mail2.ietf.org
Delivered-To: uri-review@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id 48A41965AFAD; Fri, 5 Dec 2025 22:57:48 -0800 (PST)
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -1.12
X-Spam-Level:
X-Spam-Status: No, score=-1.12 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_NEUTRAL=0.779] autolearn=no autolearn_force=no
Received: from mail2.ietf.org ([166.84.6.31]) by localhost (mail2.ietf.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id W4_fCoXx1LSk; Fri, 5 Dec 2025 22:57:47 -0800 (PST)
Received: from mail.kapsi.fi (mail.kapsi.fi [IPv6:2001:67c:1be8::25]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id D2BAD965AFAA; Fri, 5 Dec 2025 22:57:47 -0800 (PST)
Received: from kapsi.fi ([2001:67c:1be8::11] helo=lakka.kapsi.fi) by mail.kapsi.fi with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from <decoy@iki.fi>) id 1vRmEO-000ATW-1w; Sat, 06 Dec 2025 08:57:29 +0200
Received: from decoy (helo=localhost) by lakka.kapsi.fi with local-esmtp (Exim 4.96) (envelope-from <decoy@iki.fi>) id 1vRmEO-00ElcJ-1c; Sat, 06 Dec 2025 08:57:24 +0200
Date: Sat, 06 Dec 2025 08:57:24 +0200
From: Sampo Syreeni <decoy@iki.fi>
To: Martin Thomson <mt@lowentropy.net>
In-Reply-To: <8dd16b2f-81ca-4ce9-9e1e-fbca46f5e7e8@betaapp.fastmail.com>
Message-ID: <ecc25278-5315-54d8-f623-6653d1344d2c@iki.fi>
References: <04751771-27b6-4894-81dc-82036aeea5d2@betaapp.fastmail.com> <0100019ab804a507-449eb08e-87a3-4afc-bb98-9b67827bf928-000000@email.amazonses.com> <05d03d11-f140-461e-8a68-0dd6f1bfe465@it.aoyama.ac.jp> <FRWPR07MB106228FC36F536D383AEEE6A5A2DDA@FRWPR07MB10622.eurprd07.prod.outlook.com> <331d1f14-8ae6-41b7-810d-a21c3a5a5041@it.aoyama.ac.jp> <0100019ae08ae5d4-27a4240b-c315-4363-b79c-2fb80a81eb9f-000000@email.amazonses.com> <8679986b-f7c5-4621-bd04-b970b90ce426@betaapp.fastmail.com> <0100019ae59947ac-edb18e77-10fb-4adf-8e18-da9fe0ee7a01-000000@email.amazonses.com> <fd64b5cb-a74f-4ba0-8469-7a84f127e518@betaapp.fastmail.com> <0100019ae9d410b7-65ca59e5-f278-43b4-a9d7-b269bf5dc61c-000000@email.amazonses.com> <8dd16b2f-81ca-4ce9-9e1e-fbca46f5e7e8@betaapp.fastmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"; format="flowed"
X-Rspam-Score: -1.6 (-)
X-Rspam-Report: Action: no action Symbol: FREEMAIL_ENVRCPT(0.00) Symbol: FREEMAIL_CC(0.00) Symbol: FROM_HAS_DN(0.00) Symbol: FROM_EQ_ENVFROM(0.00) Symbol: SUSPICIOUS_RECIPS(1.50) Symbol: BAYES_HAM(-2.99) Symbol: TO_MATCH_ENVRCPT_ALL(0.00) Symbol: RCVD_COUNT_TWO(0.00) Symbol: RCVD_TLS_LAST(0.00) Symbol: DMARC_NA(0.00) Symbol: MIME_GOOD(-0.10) Symbol: NEURAL_HAM(0.00) Symbol: R_DKIM_NA(0.00) Symbol: RCPT_COUNT_SEVEN(0.00) Symbol: MID_RHS_MATCH_FROM(0.00) Symbol: TAGGED_RCPT(0.00) Symbol: BLOCKLISTDE_FAIL(0.00) Symbol: R_SPF_NEUTRAL(0.00) Symbol: TO_DN_EQ_ADDR_SOME(0.00) Symbol: ASN(0.00) Symbol: MISSING_XM_UA(0.00) Symbol: MIME_TRACE(0.00) Symbol: TO_DN_SOME(0.00) Symbol: ARC_NA(0.00) Message-ID: ecc25278-5315-54d8-f623-6653d1344d2c@iki.fi
X-SA-Exim-Connect-IP: 2001:67c:1be8::11
X-SA-Exim-Mail-From: decoy@iki.fi
X-SA-Exim-Scanned: No (on mail.kapsi.fi); SAEximRunCond expanded to false
Message-ID-Hash: NXFGZHVCGLTK5WMGBGFXZ4LFNIXBZXQ5
X-Message-ID-Hash: NXFGZHVCGLTK5WMGBGFXZ4LFNIXBZXQ5
X-MailFrom: decoy@iki.fi
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-uri-review.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: Kent Watsen <kent+ietf@watsen.net>, tom petch <ietfa@btconnect.com>, "art@ietf.org" <art@ietf.org>, "uri@w3.org" <uri@w3.org>, "uri-review@ietf.org" <uri-review@ietf.org>, Mahesh Jethanandani <mjethanandani@gmail.com>
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [Uri-review] Re: [art] Alternative representation of URIs in YANG
List-Id: Proposed URI Schemes <uri-review.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/uri-review/-z-xuFF00ar4VRCTbckTpsYCaro>
List-Archive: <https://mailarchive.ietf.org/arch/browse/uri-review>
List-Help: <mailto:uri-review-request@ietf.org?subject=help>
List-Owner: <mailto:uri-review-owner@ietf.org>
List-Post: <mailto:uri-review@ietf.org>
List-Subscribe: <mailto:uri-review-join@ietf.org>
List-Unsubscribe: <mailto:uri-review-leave@ietf.org>

On 2025-12-05, Martin Thomson wrote:

>> But I'm still trying to square the statement "URIs are more 
>> complicated than your decomposed structure allows for".  So far, they 
>> still appear to be 1-1 to me.  Can an example where conversion 
>> doesn't hold be provided?  A pointer to some text in an RFC would 
>> also be great.
>
> Try RFC 8141 to start.  Or sip: URIs.  Or mailto:.  Or steam:.  Or 
> view-source:.  Or about:.  Or ipfs:. 
> https://www.iana.org/assignments/uri-schemes/uri-schemes.xhtml lists a 
> lot of schemes, few of which fit your structure well, I suspect.

I once tried to parse the URI/URL/URN namespace all at once. As declared 
in the relevant RFC's, and by IANA registrations. It's a horrific mess, 
and it leads to a *highly* bloated parser. But I never once ran into 
ambiguity, or even something like a shift-reduce one at LALR(1).

Unlike when I tried parse PICS, in the day. That grammar actually proved 
to have a single, rather long-winded, reduce conflict, making it about 
LALR(18). Plus it wasn't too well defined in its spacing to begin with.

Thus, Martin, make your argument exact. Utilize formal grammars. We can 
read those, and then we don't have to argue anymore.
-- 
Sampo Syreeni, aka decoy - decoy@iki.fi, http://decoy.iki.fi/front
+358-40-3648785, 025E D175 ABE5 027C 9494 EEB0 E090 8BA9 0509 85C2