Re: [Json] Nudging the English-language vs. formalisms discussion forward

John Cowan <cowan@mercury.ccil.org> Wed, 19 February 2014 20:47 UTC

Return-Path: <cowan@ccil.org>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 04F8E1A04C1 for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 12:47:18 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.148
X-Spam-Level:
X-Spam-Status: No, score=-3.148 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, RP_MATCHES_RCVD=-0.548] autolearn=ham
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 o0o7g-p9zlah for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 12:47:15 -0800 (PST)
Received: from earth.ccil.org (earth.ccil.org [192.190.237.11]) by ietfa.amsl.com (Postfix) with ESMTP id 796871A01DB for <json@ietf.org>; Wed, 19 Feb 2014 12:47:15 -0800 (PST)
Received: from cowan by earth.ccil.org with local (Exim 4.72) (envelope-from <cowan@ccil.org>) id 1WGE2u-0006ad-JF; Wed, 19 Feb 2014 15:47:08 -0500
Date: Wed, 19 Feb 2014 15:47:08 -0500
From: John Cowan <cowan@mercury.ccil.org>
To: Phillip Hallam-Baker <hallam@gmail.com>
Message-ID: <20140219204708.GF8132@mercury.ccil.org>
References: <C87F9B96-E028-4F0E-A950-B39D3F68FFE7@vpnc.org> <CAMm+LwhUh_yN-hzaoDWfrO_H2iGvYvj99BCE4EcYmgqCPqXoVQ@mail.gmail.com> <CAHBU6itpttXBfVQGKw=u==k_XSdrht81+m_YDNZP6RM+=9CNow@mail.gmail.com> <CAMm+LwibiSDmymjt544kykhoXdMyR49uhMDLzzvwcBAaw_7oSw@mail.gmail.com> <CAHBU6isHwnMst1g6DM+6ZOG=uOsBTAjk-gVQuZimnFRB475F0g@mail.gmail.com> <20140219172511.GA8132@mercury.ccil.org> <CAMm+LwjSrpRufOZE+7CW-ppSOW0btC3KgwOx-0YpDiRrewu2VA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAMm+LwjSrpRufOZE+7CW-ppSOW0btC3KgwOx-0YpDiRrewu2VA@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Sender: John Cowan <cowan@ccil.org>
Archived-At: http://mailarchive.ietf.org/arch/msg/json/wcFVWWTppv0h5XAFEdgvxUVEHcE
Cc: Tim Bray <tbray@textuality.com>, Paul Hoffman <paul.hoffman@vpnc.org>, JSON WG <json@ietf.org>
Subject: Re: [Json] Nudging the English-language vs. formalisms discussion forward
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.15
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, 19 Feb 2014 20:47:18 -0000

Phillip Hallam-Baker scripsit:

> Semantics can be defined very precisely and most modern computer
> science courses teach methods of doing that Z, VDM and the rest are
> all very precise ways of specifying the behavior of a protocol with as
> high a degree of precision as LR(0) parsers allow for syntax.

That's behavioral semantics (what to do), not document semantics (what
is meant).  It is impossible to define document semantics without
reference to the recipient: indeed, as a member of the pragmaticist
tradition I define the semantics of a document as its effect on the
recipient.  A book written in Georgian has no semantics to me, for I
cannot understand a single word of it.

> What I have found is that making use of syntax to encode semantics is
> always a mistake.

See, if I didn't know that you were talking about behavioral semantics,
that would be incomprehensible.  This very email uses syntax (English
syntax) to encode the semantics of what I am (I hope) communicating to
you.  Indeed, there is no other way for me to communicate it.

> Using different tags for "DateTime" (=String) and "DeltaTime"
> (=Integer) avoids that whole business.

That is, of course, a syntactic distinction.

> When people reach for Regular Expressions they are almost always doing
> something that is better done without.

"I have a problem.  I know!  I'll use a computer.  Now I have 100,000
problems." --me

-- 
John Cowan              cowan@ccil.org          http://www.ccil.org/~cowan
Historians aren't constantly confronted with people who carry on
self-confidently about the rule against adultery in the sixth amendment to
the Declamation of Independence, as written by Benjamin Hamilton. Computer
scientists aren't always having to correct people who make bold assertions
about the value of Objectivist Programming, as examplified in the HCNL
entities stored in Relaxational Databases.  --Mark Liberman