Re: [Json] String comparisons -- LAST CHANCE ON PROPOSALS

Carsten Bormann <cabo@tzi.org> Wed, 12 June 2013 15:59 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id F004621F93E5 for <json@ietfa.amsl.com>; Wed, 12 Jun 2013 08:59:09 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -106.249
X-Spam-Level:
X-Spam-Status: No, score=-106.249 tagged_above=-999 required=5 tests=[BAYES_00=-2.599, HELO_EQ_DE=0.35, RCVD_IN_DNSWL_MED=-4, USER_IN_WHITELIST=-100]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id sjeVvKLM3OHA for <json@ietfa.amsl.com>; Wed, 12 Jun 2013 08:59:04 -0700 (PDT)
Received: from informatik.uni-bremen.de (mailhost.informatik.uni-bremen.de [IPv6:2001:638:708:30c9::12]) by ietfa.amsl.com (Postfix) with ESMTP id 6D95311E80CC for <json@ietf.org>; Wed, 12 Jun 2013 08:59:01 -0700 (PDT)
X-Virus-Scanned: amavisd-new at informatik.uni-bremen.de
Received: from smtp-fb3.informatik.uni-bremen.de (smtp-fb3.informatik.uni-bremen.de [134.102.224.120]) by informatik.uni-bremen.de (8.14.4/8.14.4) with ESMTP id r5CFwwTC008377; Wed, 12 Jun 2013 17:58:58 +0200 (CEST)
Received: from [10.0.1.4] (reingewinn.informatik.uni-bremen.de [134.102.218.123]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by smtp-fb3.informatik.uni-bremen.de (Postfix) with ESMTPSA id 3CBF83D58; Wed, 12 Jun 2013 17:58:58 +0200 (CEST)
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
Content-Type: text/plain; charset="utf-8"
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <47B61734-3943-4A0B-9405-A4DCC835567A@vpnc.org>
Date: Wed, 12 Jun 2013 17:58:57 +0200
Content-Transfer-Encoding: quoted-printable
Message-Id: <D1635758-A448-48AE-B730-25A2961999B2@tzi.org>
References: <0FBD58CE-748D-419A-8578-CCBF3FDF97CE@vpnc.org> <78732FDA-84FC-46E9-BC88-2B2D6510ED17@tzi.org> <47B61734-3943-4A0B-9405-A4DCC835567A@vpnc.org>
To: Paul Hoffman <paul.hoffman@vpnc.org>
X-Mailer: Apple Mail (2.1508)
Cc: "json@ietf.org" <json@ietf.org>
Subject: Re: [Json] String comparisons -- LAST CHANCE ON PROPOSALS
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "JavaScript Object Notation \(JSON\) WG mailing list" <json.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/json>, <mailto:json-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/json>
List-Post: <mailto:json@ietf.org>
List-Help: <mailto:json-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/json>, <mailto:json-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 12 Jun 2013 15:59:10 -0000

On Jun 12, 2013, at 16:04, Paul Hoffman <paul.hoffman@vpnc.org> wrote:

> You talk about "prefer", but you don't say whether or not you can live with any of the alternatives.

These are all editorial comments, so I can live with anything*).
(On the technical level, we have consensus on comparing the sequences of Unicode code points.)

> You also talk about some ideas without giving specific wording.

I don't talk about ideas at all, I just point out where the proposed specific wording doesn't quite work.
I'll leave it to the native speakers to fix that.  
In particular, I trust that our esteemed editor can do that much better than I can.
(And I trust that he will transcend us if we try to micromanage him.)

(I sure can generate some clumsy wording for all of this, but I don't want to increase the number of proposals on the table.  Obligatory xkcd: http://xkcd.com/927/‎)

Grüße, Carsten

*) As long as it is not:

10 Let A be the first name, and B be the second name.
20 Let Aseq be the sequence of code points in A, and Bseq the sequence of code points in B.
30 If Aseq is empty, and Bseq is empty, return true.
40 If Aseq is empty, and Bseq is non-empty, return false.
50 If Aseq is non-empty, and Bseq is empty, return false.
60 If the first code point of Aseq is not equal to the first code point in Bseq, return false.
70 Replace Aseq by the sequence of all code points but the first in Aseq.
80 Replace Bseq by the sequence of all code points but the first in Bseq.
90 GOTO 30

READY