Re: [netmod] regular expression flavours (again)

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Thu, 13 June 2019 14:07 UTC

Return-Path: <j.schoenwaelder@jacobs-university.de>
X-Original-To: netmod@ietfa.amsl.com
Delivered-To: netmod@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 66F3C120172 for <netmod@ietfa.amsl.com>; Thu, 13 Jun 2019 07:07:01 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id HQh3wG90SEE0 for <netmod@ietfa.amsl.com>; Thu, 13 Jun 2019 07:06:59 -0700 (PDT)
Received: from atlas5.jacobs-university.de (atlas5.jacobs-university.de [212.201.44.20]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 106BF1200FA for <netmod@ietf.org>; Thu, 13 Jun 2019 07:06:59 -0700 (PDT)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by atlas5.jacobs-university.de (Postfix) with ESMTP id A0DA33D; Thu, 13 Jun 2019 16:06:57 +0200 (CEST)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from atlas5.jacobs-university.de ([10.70.0.198]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10032) with ESMTP id v3nl4hSKjXGG; Thu, 13 Jun 2019 16:06:57 +0200 (CEST)
Received: from hermes.jacobs-university.de (hermes.jacobs-university.de [212.201.44.23]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "hermes.jacobs-university.de", Issuer "DFN-Verein Global Issuing CA" (verified OK)) by atlas5.jacobs-university.de (Postfix) with ESMTPS; Thu, 13 Jun 2019 16:06:57 +0200 (CEST)
Received: from localhost (demetrius5.irc-it.jacobs-university.de [10.70.0.222]) by hermes.jacobs-university.de (Postfix) with ESMTP id 886BE20128; Thu, 13 Jun 2019 16:06:57 +0200 (CEST)
X-Virus-Scanned: amavisd-new at jacobs-university.de
Received: from hermes.jacobs-university.de ([212.201.44.23]) by localhost (demetrius5.jacobs-university.de [10.70.0.222]) (amavisd-new, port 10028) with ESMTP id IDNftL6XGgcY; Thu, 13 Jun 2019 16:06:57 +0200 (CEST)
Received: from exchange.jacobs-university.de (sxchmb03.jacobs.jacobs-university.de [10.70.0.155]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "exchange.jacobs-university.de", Issuer "DFN-Verein Global Issuing CA" (verified OK)) by hermes.jacobs-university.de (Postfix) with ESMTPS id 4113720126; Thu, 13 Jun 2019 16:06:57 +0200 (CEST)
Received: from anna.localdomain (10.50.218.117) by sxchmb03.jacobs.jacobs-university.de (10.70.0.155) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.1713.5; Thu, 13 Jun 2019 16:06:56 +0200
Received: by anna.localdomain (Postfix, from userid 501) id 5C38A300A5290A; Thu, 13 Jun 2019 16:06:55 +0200 (CEST)
Date: Thu, 13 Jun 2019 16:06:55 +0200
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Robert Varga <nite@hq.sk>
CC: Ladislav Lhotka <lhotka@nic.cz>, NETMOD WG <netmod@ietf.org>
Message-ID: <20190613140655.jyq3iltl2v22ekmb@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Robert Varga <nite@hq.sk>, Ladislav Lhotka <lhotka@nic.cz>, NETMOD WG <netmod@ietf.org>
References: <291106e34498ebd68f26bf9ff9b679dd5bd8f0cd.camel@nic.cz> <20190612092555.xotrr4moh36xv4kl@anna.jacobs.jacobs-university.de> <4611382f-be58-a20f-1712-e5fb3e4ef3ec@hq.sk>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <4611382f-be58-a20f-1712-e5fb3e4ef3ec@hq.sk>
User-Agent: NeoMutt/20180716
X-ClientProxiedBy: SXCHMB02.jacobs.jacobs-university.de (10.70.0.121) To sxchmb03.jacobs.jacobs-university.de (10.70.0.155)
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/clmNFoF3nXnkpz7tpLnZuoS11-Y>
Subject: Re: [netmod] regular expression flavours (again)
X-BeenThere: netmod@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: NETMOD WG list <netmod.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/netmod>, <mailto:netmod-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/netmod/>
List-Post: <mailto:netmod@ietf.org>
List-Help: <mailto:netmod-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/netmod>, <mailto:netmod-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 13 Jun 2019 14:07:02 -0000

On Thu, Jun 13, 2019 at 03:31:49PM +0200, Robert Varga wrote:
> On 12/06/2019 11:25, Juergen Schoenwaelder wrote:
> > That said, they do seem to declare something like
> > oc-ext:regexp-posix; but it would have been much smarter to use for
> > example oc-posix:regex instead of changing the semantics of the
> > pattern statement.
> 
> Yes, this would be preferable, but it has a downside: now you need to
> carry the patterns twice and must make sure they are in sync. If they
> are not, all sorts of implementation-dependent breakage would ensue.

Authors could simply use the YANG pattern statement as it is defined
and there is zero extra cost.

> The differences are far from minor where specification is concerned, but
> they certainly minor in the vast majoritiy of the use cases and most
> users do not even understand REs enough to know they are dealing with a
> maze of twisty flavors, all alike.
> 
> Do we have an easy way of understanding the corpus of pattern arguments
> being 'out there' in real use?
> 
> Can we engineer a workable solution for the general case without getting
> everyone know the differences in RE engines? Something along the lines
> of this:
> https://github.com/openconfig/public/issues/44#issuecomment-501629497
> perhaps?

Please lets not (even with the best intentions) create yet another
regular expression flavour.

/js

-- 
Juergen Schoenwaelder           Jacobs University Bremen gGmbH
Phone: +49 421 200 3587         Campus Ring 1 | 28759 Bremen | Germany
Fax:   +49 421 200 3103         <https://www.jacobs-university.de/>