Re: Confusion in preconditions

"Eric J. Bowman" <eric@bisonsystems.net> Wed, 01 February 2012 08:00 UTC

Return-Path: <ietf-http-wg-request@listhub.w3.org>
X-Original-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Delivered-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 2332E21F8611 for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Wed, 1 Feb 2012 00:00:53 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -10.599
X-Spam-Level:
X-Spam-Status: No, score=-10.599 tagged_above=-999 required=5 tests=[BAYES_00=-2.599, RCVD_IN_DNSWL_HI=-8]
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 QDgUddc7usKw for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Wed, 1 Feb 2012 00:00:52 -0800 (PST)
Received: from frink.w3.org (frink.w3.org [128.30.52.56]) by ietfa.amsl.com (Postfix) with ESMTP id 95D0B21F860F for <httpbisa-archive-bis2Juki@lists.ietf.org>; Wed, 1 Feb 2012 00:00:52 -0800 (PST)
Received: from lists by frink.w3.org with local (Exim 4.69) (envelope-from <ietf-http-wg-request@listhub.w3.org>) id 1RsV74-0000Tx-GJ for ietf-http-wg-dist@listhub.w3.org; Wed, 01 Feb 2012 08:00:18 +0000
Received: from aji.keio.w3.org ([133.27.228.206]) by frink.w3.org with esmtp (Exim 4.69) (envelope-from <eric@bisonsystems.net>) id 1RsV6p-0000Ln-De for ietf-http-wg@listhub.w3.org; Wed, 01 Feb 2012 08:00:03 +0000
Received: from mxout-08.mxes.net ([216.86.168.183]) by aji.keio.w3.org with esmtp (Exim 4.72) (envelope-from <eric@bisonsystems.net>) id 1RsV6j-0004uD-Uo for ietf-http-wg@w3.org; Wed, 01 Feb 2012 08:00:02 +0000
Received: from bigbison (unknown [65.117.211.162]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.mxes.net (Postfix) with ESMTPSA id 47B0050A6A; Wed, 1 Feb 2012 02:59:29 -0500 (EST)
Date: Wed, 01 Feb 2012 00:59:31 -0700
From: "Eric J. Bowman" <eric@bisonsystems.net>
To: Zhong Yu <zhong.j.yu@gmail.com>
Cc: Sebastien Lambla <seb@serialseb.com>, "ietf-http-wg@w3.org" <ietf-http-wg@w3.org>
Message-Id: <20120201005931.0902f663.eric@bisonsystems.net>
In-Reply-To: <CACuKZqE+Vw80aZNzFSOp9bSFoAQa+OYa4Bg91uNrsyBu0CjwDA@mail.gmail.com>
References: <3DDD0BE655869D4EA506652B3803AEF6C3519BA5@PRISM.caffeine-it.net> <CACuKZqE+Vw80aZNzFSOp9bSFoAQa+OYa4Bg91uNrsyBu0CjwDA@mail.gmail.com>
Organization: Bison Systems Corporation
X-Mailer: Sylpheed 3.1.1 (GTK+ 2.10.14; i686-pc-mingw32)
Mime-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Received-SPF: pass client-ip=216.86.168.183; envelope-from=eric@bisonsystems.net; helo=mxout-08.mxes.net
X-W3C-Hub-Spam-Status: No, score=-1.9
X-W3C-Hub-Spam-Report: BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001
X-W3C-Scan-Sig: aji.keio.w3.org 1RsV6j-0004uD-Uo eca7a784150189ba68c06d6fe948d44c
X-Original-To: ietf-http-wg@w3.org
Subject: Re: Confusion in preconditions
Archived-At: <http://www.w3.org/mid/20120201005931.0902f663.eric@bisonsystems.net>
Resent-From: ietf-http-wg@w3.org
X-Mailing-List: <ietf-http-wg@w3.org> archive/latest/12298
X-Loop: ietf-http-wg@w3.org
Resent-Sender: ietf-http-wg-request@w3.org
Precedence: list
List-Id: <ietf-http-wg.w3.org>
List-Help: <http://www.w3.org/Mail/>
List-Post: <mailto:ietf-http-wg@w3.org>
List-Unsubscribe: <mailto:ietf-http-wg-request@w3.org?subject=unsubscribe>
Resent-Message-Id: <E1RsV74-0000Tx-GJ@frink.w3.org>
Resent-Date: Wed, 01 Feb 2012 08:00:18 +0000

Zhong Yu wrote:
> 
> One must wonder, the problem of conditionals appears to be very easy.
> We can have a simple model and a simple procedure, that succinctly and
> precisely defines behaviors in any scenario.
> 

I've suggested changing the document order around and trimming the
wording down, this also seems like issue 241:

http://trac.tools.ietf.org/wg/httpbis/trac/ticket/241

>
> Why does the spec instead "beat around the bush", going very
> roundabout ways, only setting some constraints on some scenarios? Are
> readers supposed to solve the riddles to learn the underlying model?
> 

Nonetheless, I didn't find it all that hard to write working code, and
I'm not much of a coder.  Coming up with alternate spec language is
harder.

-Eric