Re: [Jsonpath] Fwd: I-D Action: draft-bormann-jsonpath-iregexp-04.txt

Glyn Normington <glyn.normington.work@gmail.com> Mon, 25 April 2022 17:46 UTC

Return-Path: <glyn.normington.work@gmail.com>
X-Original-To: jsonpath@ietfa.amsl.com
Delivered-To: jsonpath@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 0EE7DC20D6B0 for <jsonpath@ietfa.amsl.com>; Mon, 25 Apr 2022 10:46:15 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.197
X-Spam-Level:
X-Spam-Status: No, score=-0.197 tagged_above=-999 required=5 tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id dSUIsnHS7AGm for <jsonpath@ietfa.amsl.com>; Mon, 25 Apr 2022 10:46:14 -0700 (PDT)
Received: from mail-lf1-x132.google.com (mail-lf1-x132.google.com [IPv6:2a00:1450:4864:20::132]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 9FA39C1D3500 for <jsonpath@ietf.org>; Mon, 25 Apr 2022 10:46:14 -0700 (PDT)
Received: by mail-lf1-x132.google.com with SMTP id j4so3021043lfh.8 for <jsonpath@ietf.org>; Mon, 25 Apr 2022 10:46:14 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=WLg8MSuwvX2F5X76Y2hNhxDiKNW87/zBDIzB85IZ0Z4=; b=CvONBQvAM6uikjT5M80tFzhgR8wxukuHY0egvAY3C89emj18DQW5Z2qx6IMwQSE8mO WKFcgabd4lJ2Re8eMD56EP2Pg+Kp8jxdtPye3/RMAWNZZ1gHKQ+4OmVI8FegiolF2Wbi PCIuGqCXqsuQrzCTTRrYZ2IHE6Pb9/2WCYrSiUVmr/j2YYH4ckV6QKDWRMkfLY11S+0D NcDKILVMlDFK5j2OT+NbAlrgLFZ0nIwlrpItl6ikxOqklUBc6iKmDnIXuaAEW6HKZ9Jd I0Ei1Kz+6oHDx8wM0StUCJZtTU+q6c1Bv99m6KdrhcuYeYKJmg8XIl11iw0EB0vmurCX x4lg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=WLg8MSuwvX2F5X76Y2hNhxDiKNW87/zBDIzB85IZ0Z4=; b=VItVYJ/Rpn5q+uVbfQ054cpWHORbb+6vJxQYwUY8YCK2mInCUIvE19JFn8879ZBdrG kqzkzPWHXzS27RcTm0ffOtgiYTNpiLUME6+a2wjCjmxVTnGFDkZ+4TYHMEHncyd8+JDj dqUUeVb0O47hxL4Q5J3pGNMgkjdOoWPCKOhdspW8wzPvASujcDywkNEYXn5VhbDuCN5z WEa5oF7LrWQy3tyL2Q/qPom2RebSpVhHRnvPBQfWO/mogdpmLwAKIs/QYDV0PvUiyQXm bhoEkblvxqGMYVjJ6Bi/13O9U30+Z3qAzMTyu/pdAYk7BzG0TBOss+oXMSH8StSW+Twn QGJA==
X-Gm-Message-State: AOAM531N8pstX3T+gGj1+0HqtqRoej0D9xBqjS1Jyxgc3EzWq/KN9DPL csXntxWvjAtIM2YufYz88dEre1GtDwneEQSR9Ak=
X-Google-Smtp-Source: ABdhPJz+gXd2cQsdlKDZb1rXLLkdldWsJ1Xj+0bTnPH9g/mIemWTFw9s6FlDm4ENc6qkcfluOnvOKdcAaPlL7osxoMc=
X-Received: by 2002:ac2:4e16:0:b0:472:5fe:fb0 with SMTP id e22-20020ac24e16000000b0047205fe0fb0mr4598112lfr.517.1650908772558; Mon, 25 Apr 2022 10:46:12 -0700 (PDT)
MIME-Version: 1.0
References: <165090408999.1001.9669029059632409746@ietfa.amsl.com> <8DF9CF13-3ADA-433A-97DF-6D77A222D607@tzi.org> <CANH0GbJm7CYUDYhvpz+F1e+NhO5pPBOxFr9T3sjEgu6pShS4Yg@mail.gmail.com> <CAHBU6itkyL-Vny_XM3musumN=_CdhoT_tnNDLhtp8RAXqLBdng@mail.gmail.com> <CANH0GbKc_vtT_+vm_S+-EizLX05voCR=mUa3ZksGo_+J821M_g@mail.gmail.com> <CAHBU6iv4Xv=QPmOWrL6O=OxfNNorwwzuYiNCe2MFYvKzRMMMsQ@mail.gmail.com>
In-Reply-To: <CAHBU6iv4Xv=QPmOWrL6O=OxfNNorwwzuYiNCe2MFYvKzRMMMsQ@mail.gmail.com>
From: Glyn Normington <glyn.normington.work@gmail.com>
Date: Mon, 25 Apr 2022 18:46:03 +0100
Message-ID: <CANH0Gb+hgP3zH3C34VgOLb2H6Bt0d3yuEWGhhoujqJf5zfeYYQ@mail.gmail.com>
To: Tim Bray <tbray@textuality.com>
Cc: Carsten Bormann <cabo@tzi.org>, jsonpath@ietf.org
Content-Type: multipart/alternative; boundary="000000000000f1e86905dd7e266d"
Archived-At: <https://mailarchive.ietf.org/arch/msg/jsonpath/Vrm9juhyel7hucssn2TRJu6SkYw>
Subject: Re: [Jsonpath] Fwd: I-D Action: draft-bormann-jsonpath-iregexp-04.txt
X-BeenThere: jsonpath@ietf.org
X-Mailman-Version: 2.1.34
Precedence: list
List-Id: A summary description of the list to be included in the table on this page <jsonpath.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/jsonpath>, <mailto:jsonpath-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/jsonpath/>
List-Post: <mailto:jsonpath@ietf.org>
List-Help: <mailto:jsonpath-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/jsonpath>, <mailto:jsonpath-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 25 Apr 2022 17:46:15 -0000

I agree with your implementation cost argument.

Also, without a full test suite of all cases of syntactically invalid
strings (is such a thing even theoretically feasible?), implementations'
syntax checking would probably vary, impacting interoperation.

So, yes, I could live with a MAY.

On Mon, 25 Apr 2022, 18:26 Tim Bray, <tbray@textuality.com> wrote:

> I can't disagree.  All I can add is that a MUST is a pretty heavy hammer.
> I think that for any of the well-known libraries, I could construct and
> ship an I-Regexp translator in a very short time, in some cases hours.
> Building a syntax checker would be a much more demanding task, and writing
> the test suite for such a checker would be very discouraging.
>
> While I at least partially agree with you, here's a counter-proposal: Put
> in a MAY (or SHOULD?)  and a paragraph containing basically the text of
> your email 5 minutes ago, encouraging implementors to do this.
>
> On Mon, Apr 25, 2022 at 10:07 AM Glyn Normington <
> glyn.normington.work@gmail.com> wrote:
>
>> If non-conforming regexps are handled, I think (at least perceived)
>> interoperation could suffer. Suppose someone gets used to using a
>> particular I-Regexp implementation and fails to notice they have stepped
>> outside the official syntax. Then at some point, they try another i-Regexp
>> implementation and either (a) their regexp syntax is rejected as invalid or
>> (b) the behaviour is different.
>>
>