Re: [Cbor] CDDL Module Design

Michael Richardson <mcr+ietf@sandelman.ca> Wed, 01 July 2020 15:30 UTC

Return-Path: <mcr+ietf@sandelman.ca>
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 4609B3A0F2B for <cbor@ietfa.amsl.com>; Wed, 1 Jul 2020 08:30:44 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, 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 UJip-d1_nciL for <cbor@ietfa.amsl.com>; Wed, 1 Jul 2020 08:30:42 -0700 (PDT)
Received: from tuna.sandelman.ca (tuna.sandelman.ca [209.87.249.19]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 066283A0F2A for <cbor@ietf.org>; Wed, 1 Jul 2020 08:30:41 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by tuna.sandelman.ca (Postfix) with ESMTP id 3AD22389C2; Wed, 1 Jul 2020 11:27:53 -0400 (EDT)
Received: from tuna.sandelman.ca ([127.0.0.1]) by localhost (localhost [127.0.0.1]) (amavisd-new, port 10024) with LMTP id Odgli90TaAfl; Wed, 1 Jul 2020 11:27:52 -0400 (EDT)
Received: from sandelman.ca (obiwan.sandelman.ca [IPv6:2607:f0b0:f:2::247]) by tuna.sandelman.ca (Postfix) with ESMTP id 187E4389BE; Wed, 1 Jul 2020 11:27:52 -0400 (EDT)
Received: from localhost (localhost [IPv6:::1]) by sandelman.ca (Postfix) with ESMTP id B74223DE; Wed, 1 Jul 2020 11:30:39 -0400 (EDT)
From: Michael Richardson <mcr+ietf@sandelman.ca>
To: Carsten Bormann <cabo@tzi.org>
cc: Jim Schaad <ietf@augustcellars.com>, cbor@ietf.org
In-Reply-To: <51575EAF-1090-4989-A124-D19CE5553494@tzi.org>
References: <03c701d64f41$e1763fa0$a462bee0$@augustcellars.com> <24433.1593575640@localhost> <51575EAF-1090-4989-A124-D19CE5553494@tzi.org>
X-Mailer: MH-E 8.6+git; nmh 1.7+dev; GNU Emacs 26.1
X-Face: $\n1pF)h^`}$H>Hk{L"x@)JS7<%Az}5RyS@k9X%29-lHB$Ti.V>2bi.~ehC0; <'$9xN5Ub# z!G,p`nR&p7Fz@^UXIn156S8.~^@MJ*mMsD7=QFeq%AL4m<nPbLgmtKK-5dC@#:k
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-="; micalg="pgp-sha512"; protocol="application/pgp-signature"
Date: Wed, 01 Jul 2020 11:30:39 -0400
Message-ID: <32409.1593617439@localhost>
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/jywkAhnxymlwc1QZN6VpiSq9-Uk>
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 15:30:44 -0000

Carsten Bormann <cabo@tzi.org> wrote:
    > 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 agree.
As has been pointed out in
   https://www.goodreads.com/book/show/44919.Working_Effectively_with_Legacy_Code

the preprocessor is a really good tool for inserting shims.
But, gosh, I'm hoping that this won't be a requirement for CDDL?

    > 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).

Hmm. yes. Okay.

--
]               Never tell me the odds!                 | ipv6 mesh networks [
]   Michael Richardson, Sandelman Software Works        |    IoT architect   [
]     mcr@sandelman.ca  http://www.sandelman.ca/        |   ruby on rails    [