Re: [Cbor] CDDL Module Design

Carsten Bormann <cabo@tzi.org> Wed, 01 July 2020 14:54 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 6D2493A0C2B for <cbor@ietfa.amsl.com>; Wed, 1 Jul 2020 07:54:53 -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_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-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 nb8i0zX2B0Co for <cbor@ietfa.amsl.com>; Wed, 1 Jul 2020 07:54:51 -0700 (PDT)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 0B0AD3A094C for <cbor@ietf.org>; Wed, 1 Jul 2020 07:54:50 -0700 (PDT)
Received: from [172.16.42.112] (p5089ae91.dip0.t-ipconnect.de [80.137.174.145]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 49xkls01JSzydy; Wed, 1 Jul 2020 16:54:48 +0200 (CEST)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.80.23.2.2\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <24433.1593575640@localhost>
Date: Wed, 01 Jul 2020 16:54:47 +0200
Cc: Jim Schaad <ietf@augustcellars.com>, cbor@ietf.org
X-Mao-Original-Outgoing-Id: 615308087.874382-9cea0f44cbeb294a04dfb91aeae0c521
Content-Transfer-Encoding: quoted-printable
Message-Id: <51575EAF-1090-4989-A124-D19CE5553494@tzi.org>
References: <03c701d64f41$e1763fa0$a462bee0$@augustcellars.com> <24433.1593575640@localhost>
To: Michael Richardson <mcr+ietf@sandelman.ca>
X-Mailer: Apple Mail (2.3608.80.23.2.2)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/5FjOJMy28hE01955RlRmJG7evHY>
Subject: Re: [Cbor] CDDL Module Design
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 01 Jul 2020 14:54:53 -0000

On 2020-07-01, at 05:54, Michael Richardson <mcr+ietf@sandelman.ca> wrote:
> 
> I prefer that the statement not be a pre-processor-like hack.

The C/C++ preprocessor may be considered a hack because it operates at a lexical level.  We should not make that mistake.  Apart from that, it does useful things.

Or, in other words, your hack may be my perfect layering.

I would prefer it if a CDDL compiler (using that word in its english sense) could spit out something that looks like CDDL 1.0 and has the same semantics (well, maybe except for semantic names, which don’t exist in CDDL 1.0).

Grüße, Carsten