Re: [netmod] type equivalence

Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de> Mon, 22 February 2021 10:11 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 873203A126C for <netmod@ietfa.amsl.com>; Mon, 22 Feb 2021 02:11:31 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.7
X-Spam-Level:
X-Spam-Status: No, score=-1.7 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, MSGID_FROM_MTA_HEADER=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=fail (1024-bit key) reason="fail (body has been altered)" 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 BACxTc00Bbgq for <netmod@ietfa.amsl.com>; Mon, 22 Feb 2021 02:11:30 -0800 (PST)
Received: from EUR03-VE1-obe.outbound.protection.outlook.com (mail-eopbgr50045.outbound.protection.outlook.com [40.107.5.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 C19BE3A123F for <netmod@ietf.org>; Mon, 22 Feb 2021 02:11:29 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ZPkMJQYPVv+tXnFW15thc/cOPaPC9asS83Fk+nJ67YocH7IfsGFHPdVWIyUoQ5ORKuOma0jAZi36H+gVsI3HAWUA5TYYhrJ3ynyHap1iXyRBSI+0TnHmhxmsqlTYYAFOMdNRzf6rEBf4WtfKa7YoW9fQrb3cbnDgP97sd542cuYwE0F3xLKrDeGw1NHosTVMVsScaOJmWAIUuU4WoEwDtnsL1RazJoFVSApjqoNNp3Lqw4t1iSuWxnFO73O+dum0z+baRATZzShY2MQr60QTIijR4hVSMZUikkbaFXqMXyIF0c7Z1D4uwCDw/TtJVxDCt41AboeC3FmqwoedDyRQ3Q==
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=mgkuNVl4TYBobcdThj8kAucbJKRHjvtd67NsfXqVR5g=; b=F4GK7Y0KKSWADWZzCOeDNhTy8F33xiXQdN4n5dKPWUnhAs1z3xAcXvjARW0/OgHaLO1w72mzWQvhm9J0r4ydcccMd4yibq1PKoCeM6UoKefcwr9+/CUmN4WXX/xCY1astPvOTfYGRuyAz1LiQX9UhKz5c+g1Cb2qN+v2th9lDFF6ZwC4suibqr3gxiBka7cN4Bjq2kwU/ami47nHE+mfascgH3/JjGXnZSEPJq0aFxT9ZDR1ztOWvEw4Viys4dZst6qEjPM9Kbi1f57Ci1k4tt2LwHjW7byp9yc97V1d1NJASz0L5664THYYRdQTXs/EsB6qqs0fbxRHcZQ7tAXZdA==
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=mgkuNVl4TYBobcdThj8kAucbJKRHjvtd67NsfXqVR5g=; b=rqsuBrYpmT+hoheeV48sZwH+q/qnwAEr6uET47psmEYDlmzpGYCFQerwMD/ENlNfJ1EpOtisIVpoTKOFLF7lqE8oiY7Gg9J49mcbT6S8DVMph+sPX9fX1sPXIcrJWCZBnQOTDpHsj0P74Rbo/+Ajk/4vz9wOPOakU1r8mawYYik=
Authentication-Results: nic.cz; dkim=none (message not signed) header.d=none;nic.cz; dmarc=none action=none header.from=jacobs-university.de;
Received: from AM0P190MB0641.EURP190.PROD.OUTLOOK.COM (2603:10a6:208:194::23) by AM4P190MB0225.EURP190.PROD.OUTLOOK.COM (2603:10a6:200:63::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3868.27; Mon, 22 Feb 2021 10:11: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%5]) with mapi id 15.20.3868.033; Mon, 22 Feb 2021 10:11:26 +0000
Date: Mon, 22 Feb 2021 11:11:26 +0100
From: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
To: Ladislav Lhotka <ladislav.lhotka@nic.cz>
Cc: Martin Björklund <mbj+ietf@4668.se>, netmod@ietf.org
Message-ID: <20210222101126.5v2jjvpzbzfhjwn2@anna.jacobs.jacobs-university.de>
Reply-To: Juergen Schoenwaelder <j.schoenwaelder@jacobs-university.de>
Mail-Followup-To: Ladislav Lhotka <ladislav.lhotka@nic.cz>, Martin Björklund <mbj+ietf@4668.se>, netmod@ietf.org
References: <20210219181858.arafmdtraq4ydir2@anna.jacobs.jacobs-university.de> <CD64BB41-E2BE-4B25-AA55-3B91D7C0D313@tzi.org> <20210222092455.qupjm2d4lpm4ay4n@anna.jacobs.jacobs-university.de> <20210222.104938.680142326480637892.id@4668.se> <552f005f-d636-702b-a82f-efd81abd5f45@nic.cz>
Content-Type: text/plain; charset="iso-8859-1"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <552f005f-d636-702b-a82f-efd81abd5f45@nic.cz>
X-Originating-IP: [212.201.44.244]
X-ClientProxiedBy: AM3PR04CA0135.eurprd04.prod.outlook.com (2603:10a6:207::19) 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 AM3PR04CA0135.eurprd04.prod.outlook.com (2603:10a6:207::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3868.27 via Frontend Transport; Mon, 22 Feb 2021 10:11:26 +0000
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: 2d17d4c2-e847-40eb-11cb-08d8d71a372b
X-MS-TrafficTypeDiagnostic: AM4P190MB0225:
X-MS-Exchange-Transport-Forked: True
X-Microsoft-Antispam-PRVS: <AM4P190MB02251D379845649FD9E4D0FBDE819@AM4P190MB0225.EURP190.PROD.OUTLOOK.COM>
X-MS-Oob-TLC-OOBClassifiers: OLM:6790;
X-MS-Exchange-SenderADCheck: 1
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: okM5O5SUiKsvA/kYUKARzqXTd7Z3n+cy1PoVlNdwskHh/rBYBQNV4xOQsI9ZJ3Pi6+trwtoA7g8cUBLYSHwFnka+nBrYnldC0fkJjj0LKqv9yQ6x8E9cBhB6PrBhAsBEIaFCP/yVfPj9Num3e+0xNpsS3Bk02pH20TOYtG9gL5PxsrFpdCu0XKFwZ9jZLcaT7b8bobFyCCeDAxGRRf2DFLPyfgrWRjQzWRGZdmbLnv2SZ5kG2NfWw73dJ8gWSHOWcDp7rBHT0GyjcI5c7HJEyQOTMIZDh31giqiyWOURRTaxRG6Q8B2T6/y/muX6hIr6BMPYS+2LPtqtZlP4Qu5Z5Y7gHBwUYjk9P6uqxd+XFANBbGA+/WfAScp/75X58sOe/bts0VCql1VwmHNgLCi76RSULMAX90EXxJ8YqwLTOA2hOa8B4ztmpBreaeEMFvTw1uh3EGsyEmkPxfB0fQTVeA7RZ++deqZRG8j6/gsXlaS4xt/ehTstWNcYz4LDm3JUoOo8uukD+317lPDDL0m4XRiwlyg2O7HWB2BvYZLeVFyksYWIHWGWVZ1isyppg+SD0lTDyV+3HdOiDr91vtgFv7hLeRNsGXCTF9HDHF0YfnRITTvVHjTe2SlW2gFaeG9DcQvYXqFm1cPohphEhVmGDA==
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:(396003)(136003)(39850400004)(366004)(376002)(346002)(86362001)(83080400002)(6916009)(3450700001)(26005)(5660300002)(2906002)(6486002)(4744005)(8676002)(956004)(4326008)(1076003)(52116002)(186003)(8936002)(16526019)(6496006)(316002)(66476007)(478600001)(66946007)(66556008)(786003); DIR:OUT; SFP:1101;
X-MS-Exchange-AntiSpam-MessageData: awjTpVHw+xreE7Fcl69i30Zbf5nLbtS9dmyds6lXlJaaPCFQ8i78gLC/8DT1f2cds2zVBYpGHfgKwY5dRGv/Tqf7O2lncXUG47tzLKo9gKDKc16mixiGCWPScVplWWqiInLoMKW6O8JWRA+A581I99nXpVpF79iBcE082GIoR07FEOiMbUjxh7Z6g3Ksgbg1CK0dg4zjCOLOKBVBpWSmdVwaf+XaiZKPfGZAT8XZkW0G1KWim62m7PjWa3WC3bBhEhxRHizyiVZATA7RTkVuwp/2UBjbTEPEvtY8cVZZcAvgXay4Wv6ptOyvjL0DfSUYD3pjkUA+5sQ3PFI5Ug09rsUPMeRJeRk4mUUe+Od37Hu1w/j3AokpNCK4VQ3Rk/kpt+zU6QoDqAhF9OywtCsbCHg1MGSiL+kJEHjvXSTHdtCtvfPAplwKkO3hV4KhlFnbYbzeBXfD+7m2N8u4knylyCWo+cU+aXgPtepH4I2WEJlAmFatJ6IjJ/DFsRKiAedyRU6DhPR4p1TyCy3AwEwFOnbAbA0sQ5EYMd+c4q1GvwsJF4pllyYpTlCBjkAoF00Pm0/7urJw72ft1JbHLc1is7iQuKRxh+mxrnVInqCbC4CcdGX5qgrmGYxvNILO0I6TPX3hAY7BpR+gElx8RR8uaNlgXq87GEeleqH4A0YALK5vkJLqX9YCBDB2b36o+Jh96Y14bKCFYQ4qulbX75jWqPm2z9vYu+XHv+m72WdA9J+eJ2sTri0zk1qYvmlk9G+QMNHf5GPwEVyTCrq768YBgGViZwmztb7flI3T7MMykZW2d4NCpjBq/LdUVdlx4mAjBZ8HnQWvvIC0O0ADNMJnFIGofR3qsPtuxNNQjETGKdXvd2yGJhmiaKVQEE+bN5rsWsnHFK3+EszQamDCD5x1A1/E/rAGDiwGXIdZ2Wx+IA7shlVeoww1+U3M5qBWAwmjBwVgYkvio8OaVatGxhOficWD7GBzx+4tZ1AsMN/rD/uEnIsx7QAJBZ6aT7dagnNFsMBzPkkJBpjC5g4lsot7dBSnPwDq+eIGNxSgtIFnw2ZuPIhgNCsyLZ7iWQVRXaRdFmUBDvH3fwJQ9fXmQ5QMnYbWv4K8RGZ+3V8xkVPriTSy4AXL0VO/uaRzRW+NHhIpYfYvmHNuED789KcrRotdwzBiSrvmpHzm3Z+X69pprFMCQ3TSniBtfoMnVomczH0YLDQFFxBO76dBi/WgIAz6fp5GmIqjlkatMNR7tBzCYzvrDmn1yUKktIimiGf9eLZO5wpmVfRZl2X4WN/aNz9TkxV6BGuTdX5tvm9qDTWVHvyyQYs3UuY/pWEvYFlb0MPD
X-OriginatorOrg: jacobs-university.de
X-MS-Exchange-CrossTenant-Network-Message-Id: 2d17d4c2-e847-40eb-11cb-08d8d71a372b
X-MS-Exchange-CrossTenant-AuthSource: AM0P190MB0641.EURP190.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 Feb 2021 10:11:26.8731 (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: ddpDKyftKZ2k1JBtQEDACriPlNNNNvbXaSLf3jW7jcwFJmcWVRqmi+VWWpiysmhikAhfjyiXEWo6bdwrRiyASH1eenm0CAejw367otvyINY=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM4P190MB0225
Archived-At: <https://mailarchive.ietf.org/arch/msg/netmod/VAhtSeLRp_EUyDGmRbRFjWiL6w4>
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: Mon, 22 Feb 2021 10:11:35 -0000

On Mon, Feb 22, 2021 at 11:00:36AM +0100, Ladislav Lhotka wrote:

> But I thought that Jürgen's question was directed to the definition of
> backward compatibility in the semver context.

No, the background is not semver here, it is "can we harmonize N
different existing definition of "0..100" to one. And it seems the
answer is "no", at least not in a backwards compatible way if people
picked different base types.

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