[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
- [Uri-review] Re: [art] Re: Alternative representa… Martin J. Dürst
- [Uri-review] Re: [art] Re: Alternative representa… tom petch
- [Uri-review] Re: [art] Alternative representation… Kent Watsen
- [Uri-review] Re: [art] Alternative representation… Martin Thomson
- [Uri-review] Re: [art] Re: Alternative representa… Martin J. Dürst
- [Uri-review] Re: [art] Alternative representation… Kent Watsen
- [Uri-review] Re: [art] Alternative representation… Martin Thomson
- [Uri-review] Re: [art] Alternative representation… Kent Watsen
- [Uri-review] Re: [art] Alternative representation… Martin Thomson
- [Uri-review] Re: [art] Alternative representation… Kent Watsen
- [Uri-review] Re: [art] Alternative representation… Martin Thomson
- [Uri-review] Re: [art] Alternative representation… Mahesh Jethanandani
- [Uri-review] Re: [art] Alternative representation… Kent Watsen
- [Uri-review] Re: [art] Alternative representation… Tim Bray
- [Uri-review] Re: [art] Re: Re: Alternative repres… worley
- [Uri-review] Re: [art] Re: Alternative representa… Kent Watsen
- [Uri-review] Re: [art] Alternative representation… worley
- [Uri-review] Re: [art] Re: Alternative representa… worley
- [Uri-review] Re: [art] Re: Alternative representa… Kent Watsen
- [Uri-review] Re: [art] Re: Alternative representa… worley
- [Uri-review] Re: [art] Re: Alternative representa… worley
- [Uri-review] Re: [art] Re: Alternative representa… Martin Thomson
- [Uri-review] Re: [art] Re: Alternative representa… worley
- [Uri-review] Re: [art] Re: Alternative representa… Kent Watsen
- [Uri-review] Re: [art] Re: Alternative representa… Martin Thomson
- [Uri-review] Re: [art] Re: Alternative representa… Tim Bray
- [Uri-review] Re: [art] Re: Alternative representa… Mahesh Jethanandani
- [Uri-review] Re: [art] Re: Alternative representa… Martin Thomson
- [Uri-review] Re: [art] Re: Alternative representa… Henry S. Thompson
- [Uri-review] Re: [art] Alternative representation… Sampo Syreeni
- [Uri-review] Re: [art] Re: Alternative representa… Kent Watsen
- [Uri-review] Re: [art] Re: Alternative representa… Tim Bray
- [Uri-review] Re: [art] Re: Alternative representa… Mahesh Jethanandani
- [Uri-review] Re: [art] Re: Alternative representa… Mark Nottingham
- [Uri-review] Re: [art] Re: Re: Alternative repres… Orie
- [Uri-review] Re: [art] Re: Alternative representa… Mahesh Jethanandani
- [Uri-review] Re: [art] Re: Alternative representa… Kent Watsen
- [Uri-review] Re: [art] Re: Re: Alternative repres… Martin Thomson
- [Uri-review] Re: [art] Re: Alternative representa… Kent Watsen
- [Uri-review] Re: [art] Re: Alternative representa… Martin Thomson
- [Uri-review] Re: [art] Alternative representation… Kent Watsen