IETF Logo Mail Archive

Re: [netmod] type equivalence

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Sun, 28 February 2021 19:48 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 3B3003A1B78 for <netmod@ietfa.amsl.com>; Sun, 28 Feb 2021 11:48:33 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: 0.001
X-Spam-Level:
X-Spam-Status: No, score=0.001 tagged_above=-999 required=5 tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, MSGID_FROM_MTA_HEADER=0.001, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=jacobsuniversity.onmicrosoft.com
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 kzJRF4NX1DJp for <netmod@ietfa.amsl.com>; Sun, 28 Feb 2021 11:48:30 -0800 (PST)
Received: from EUR04-HE1-obe.outbound.protection.outlook.com (mail-eopbgr70045.outbound.protection.outlook.com [40.107.7.45]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2446A3A1B77 for <netmod@ietf.org>; Sun, 28 Feb 2021 11:48:29 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=NBYRzgZFp8A/N5TuMP9ZwgId88qlZoXYLKuRZRlGekC4g1fBVI7rQhC55AJpEBsMYaepeKu7DU/VZCVQq6iu/eOesEwkqwLPpVs1c+3MIOVDQeGOlW4bsKhWlbrdRI6PS3Ir6MUEeKrQQPqJJqjEiqBK4JyRYllUOqnSWWJapcL65eK905LRewh9jS50WIgJNfGM98ypm394+Zis8wwqVDLCgj6ZYEGutzzrjyHxdLuvdBR0nEkFPA1+krQ5vTAoYw5KEXh4D9XbYotBeMTh2iHGvQUKVVDh5+JdeddFUNSO+xJomPduibPDVczsfw1TwAe+S4yZUfs1xjwtM/nyvA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=b8wp5rmkk9S18jPWf275v6R524QNhXpVAxGjJyUaqMw=; b=NgdqpA/0BSDoacaMezCic0zUNsWEE0J+Q0Wpj5su1f2iWpCr1RAeOxK9V0HAL7yIAboTqIlFeg8v/zXpY1k9lY6n/puMcjvXPTNcY+lObBj02rkDE/iwBMi9t3tbUQua+fusQIxnEgPk6+IRtMn7HdHjFOfcZmcNBS2bClVn7GUeX/7nKckMY7P5vJm/AuFMlytAX75U5hOSQmlR344nP9xYxKOs0/W+GbhIBKgayXYCeW01+aBe4wM0x0fjna/yaXH0RDzCHoD5WdwZHogEZVd3xj5i04DkNxYVYBY/MAdkOgDIooRhjHeiSPy2GEliDxueK2vCy5TQ4ZyRfoD05A==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=jacobs-university.de; dmarc=pass action=none header.from=jacobs-university.de; dkim=pass header.d=jacobs-university.de; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jacobsuniversity.onmicrosoft.com; s=selector2-jacobsuniversity-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=b8wp5rmkk9S18jPWf275v6R524QNhXpVAxGjJyUaqMw=; b=TKGNd3VZxV3Ik9DiCyA/2DggAv2oJOclVjvqcHYB5PXhB1A8pI6FtIfarDRuo3MF2/3ubKv9fWtAGBd+ehRGd2jFBnvqcPbe1+cIRxz4eW/zSuRkMKpi0k9n2Vbj0371RGipRHPk6qzsdm7YfyjGmXipSeHN/qsv8Dlm3xJP4Cg=
Authentication-Results: cisco.com; dkim=none (message not signed) header.d=none;cisco.com; dmarc=none action=none header.from=jacobs-university.de;
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23) by AM0P190MB0753.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:195::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3890.20; Sun, 28 Feb 2021 19:48:26 +0000
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM ([fe80::1ce1:49e3:3e54:804d]) by AM0P190MB0641.EURP190.PROD.OUTLOOK.COM ([fe80::1ce1:49e3:3e54:804d%4]) with mapi id 15.20.3890.028; Sun, 28 Feb 2021 19:48:26 +0000
Date: Sun, 28 Feb 2021 20:48:25 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: "Rob Wilton (rwilton)" <rwilton@cisco.com>
Cc: NetMod WG <netmod@ietf.org>
Message-ID: <20210228194825.x3dnqtglw4kzofn7@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: "Rob Wilton (rwilton)" <rwilton@cisco.com>, NetMod WG <netmod@ietf.org>
References: <20210222135333.t4hfa3ekguwm33pm@anna.jacobs.jacobs-university.de> <C83451C6-56D2-4A95-A0FE-66197E7DFB59@tzi.org> <20210222141715.vhzqka77yzhbkpst@anna.jacobs.jacobs-university.de> <450E683C-4F47-4314-BA63-DAC17AF60970@tzi.org> <20210224203915.2ysjgjv6izjoh6to@anna.jacobs.jacobs-university.de> <MN2PR11MB4366BD4F7DE5297B38488749B59D9@MN2PR11MB4366.namprd11.prod.outlook.com> <20210226142749.ry2pbyym6ernhgi4@anna.jacobs.jacobs-university.de> <MN2PR11MB436663499BB4589CC8581FD2B59D9@MN2PR11MB4366.namprd11.prod.outlook.com> <20210226175521.rwnzxeyvub2odn6p@anna.jacobs.jacobs-university.de> <MN2PR11MB4366D67CC946AE94A4C1AF6CB59D9@MN2PR11MB4366.namprd11.prod.outlook.com>
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <MN2PR11MB4366D67CC946AE94A4C1AF6CB59D9@MN2PR11MB4366.namprd11.prod.outlook.com>
X-Originating-IP: [212.201.44.244]
X-ClientProxiedBy: AM9P195CA0016.EURP195.PROD.OUTLOOK.COM (2603:10a6:20b:21f::21) To AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
Received: from localhost (212.201.44.244) by AM9P195CA0016.EURP195.PROD.OUTLOOK.COM (2603:10a6:20b:21f::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3890.20 via Frontend Transport; Sun, 28 Feb 2021 19:48:26 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: b3fa7d16-5a57-4c86-0e16-08d8dc21d07c
X-MS-TrafficTypeDiagnostic: AM0P190MB0753:
X-MS-Exchange-Transport-Forked: True
X-MS-Exchange-MinimumUrlDomainAge: jacobs-university.de#0
X-Microsoft-Antispam-PRVS: <AM0P190MB0753ED8FAE5664D03BE41449DE9B9@AM0P190MB0753.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:7219;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: g2V1dKPNMCfwK8Prt4+hKmy8tLiauig2VO9DQrX3h+0M+Kvk8+BZGspjfVmuBt0iCG7X/KJdFS7mq3JeqIN8E2QJmibZLAuHba3v8TbU/YGJj1ZqSr8EbwBPPP4f0KEspBnYM1OIPtVfPAsyaSAZ+LMVADt8uvars+sC4DgoC5GY8gGONi1D3dk8/hxDRCjduWgZ1TzCtFUCWqjYDzwIQcvlaLMa+ObbvH1pkjQlZBaPJ69DZn5wTB/EDoKpnfgJykQmy12c/NmnlneaFhzO851+xdgTXlgAYdfK/IC4fkKGaqClEkF7uDaaVDLPC8sBzyTGGrywzZlNhEDZ17G7QmAdIQQjdEcdKr817lImId1lBoTUwOiGQcWyrNpYslY5qtDhxOCJXst15CnU6Xrh3ygP7d29ocItIUqGYzZLTcF14zDhRHbf/uqdZerZe9YdunaaBe6NSBWYaxBYGwkftX1yIt4fugoTCKFvNFee2w6Pe/X4tLgeJt2PQccv6vmZwb8SL9LVZUuMiHvXQ/0xd4bt/7/Bw8A/QB14bLq4W2JKuQCmatuzoqmMwuY2p9HIE9ytoEDyL82WG3G7J1T90kJpl64Va3RonkGaIEOKlcA=
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:AM0P190MB0641.EURP190.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(39850400004)(396003)(346002)(376002)(366004)(136003)(6496006)(66556008)(786003)(966005)(16526019)(66476007)(66946007)(316002)(6916009)(8936002)(3450700001)(8676002)(2906002)(956004)(478600001)(4326008)(1076003)(6486002)(26005)(4744005)(5660300002)(186003)(52116002)(86362001); DIR:OUT; SFP:1101;
X-MS-Exchange-AntiSpam-MessageData: HY5UxRdN8u+BiNHTaweragb4a2wOoZ1vhnSRYxdY1qvSd1PS5DJ9EVVhEXnnfyb9P56SJfKVrGV8RW/LcIEM8i1wuRJmEaf/gToRnjISA98HA1nBl6aWAKtwCce+vt09k8PO+wqR8XsEpzKoY4iQu5Zm/A3bH8mCbmKtQP0T0/ww08mb1e0o69tjTAzcML/bDcR1GWyXtwHStLipNP8KpLCTPPHygttFcWx1f6DuD0ouvrmyk0GNEzfkU/qYFmUuT7qL7UkvTkS9cfbJIxlQPsJnFbvAKp0yMsR+vr+SfNYSVfi14dXRlqgjaaIlVUYeE8eDJE8smp0LKHgFZmNXMkKZ9PJzOs0VSTXFNQMxjw4UZHQV0t9N5qMrbUQaw0yVe24+fbHJ9XYnFhbsAyL6jqKfQX5VhS+9G/kGurnf7G06VrVTveSUqfyTj8gEhAM5rNJ2uwlkRRP77H2Ndt5Qb+ZtrOnrHYxDk8HYBPXWZ2JB9bGrU4db+5Oi/3O4/Wj6+HbyT2LPpP/05j8N+PKOM35ghBuOt1oGJ+MzMUeur23i71A4u3SRfyNZb+ImVc2mWXa6zOTb2MYcYfEcPBtB/k/FwRF0lzwAFl9WGdDpBs7az/CHuqM3YdoahtCHRdDQ1HzP3rMa9ue+xkPaxNno4iPmPcu9yedyN546f1+UK46Mb2liTakbrBQtwDg+35SMrRdWZV4fUjeDX1MDc1GmXG3pDODBMwSNd9k2R+BJjcFLT1uNeC8iK/72p+aO7Vv4uFrAsM5RuGGUUKJ2+IIZcwAij9W2mweBy2OCk0Ih5IeCni1zhNJN1ao9mf5m8gj2PrcDshtz613u3un4TkJsr1nz0+bsyjoQn2Boc2TtOtMN6LUMagk4qCikDruud2Sqz3clp0ff/qoNZcCiDbEyDCyM5uWHbkKDuHEWnNoJPatynXycyOOq7SItzs9wHYJZXCBqvaSoPvMNKaGM/wpekTvJu/QaH41ZQkP+e6ybm1PTJTziZkAHgu3wWKvYA80OTfZJhaXNE3QqNedDLfElvyekGLU5w3VbfRban3hWSryqQxFsqdhFnYosuqOpCquAj+W4LzQLIrJQmtAH4HXAar9319xjaDxfny2i5E79Rpz8CoCFu0rBhYN16Wckce+EoPxj8VN0u7SqOlLubh+Z9O3VjVJULWlC4BnOI+UcPeQyq3XSdGC+/zro5oBHVHNQ7kvfTC8JmDvDrzQVm+h9pQEPKcRKyiDxFhKEQMhsFJF319T2kupJcOXBKSd8MbarP56BnkuBFNOtxo4F72vGpy+W9pkCDuoetA1MV6Qp5FnVYMcTWlmCgxQUZuQ4niuT
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: b3fa7d16-5a57-4c86-0e16-08d8dc21d07c
X-MS-Exchange-CrossTenant-AuthSource: AM0P190MB0641.EURP190.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 28 Feb 2021 19:48:26.4310 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: f78e973e-5c0b-4ab8-bbd7-9887c95a8ebd
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: sAwXPCibDbfG/HjvDaJ41rGdZFQ7SdVBIcLev7qa24WLGdK75LcviI+xwsQeVb/UnJvdPhzNLeqGxKWPLwCPxJJOi9Kb4ih3RH6PK2ssKSI=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0P190MB0753
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/ajlUXY4kOm-Op2bylO7y9dpQj_U>
Subject: Re: [netmod] type equivalence
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: Sun, 28 Feb 2021 19:48:33 -0000

On Fri, Feb 26, 2021 at 07:05:32PM +0000, Rob Wilton (rwilton) wrote:
> 
> 
> E.g., I'm wondering, would your proposed new definition allow us to change from the IETF to IEEE MAC address definition?  The underlying type is the same (String), and arguably the semantics of both types is the same (i.e., they both represent an IEEE 802 MAC address), but the syntax of the two types clearly differs.
>

If [1] is true, then the answer is obviously 'no' since the value spaces
of the two types are disjunct.

/js

[1] https://www.ieee802.org/1/files/public/docs2020/yangsters-smansfield-mac-address-format-0420-v01.pdf

-- 
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/>

v2.23.0 | Report a Bug | By Email