Path: csiph.com!usenet.pasdenom.info!gegeweb.org!usenet-fr.net!nerim.net!novso.com!newsfeed.xs4all.nl!newsfeed5.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Return-Path: <jeanpierreda@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.004
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; 'subject:code': 0.07; 'python': 0.09; 'notation': 0.09; 'notation.': 0.09; 'other,': 0.09; 'sql,': 0.09; 'cc:addr:python-list': 0.10; 'assume': 0.11; 'language': 0.14; 'languages.': 0.15; 'finney': 0.16; 'obviously,': 0.16; 'wrote:': 0.17; 'mathematical': 0.17; 'specify': 0.17; 'typing': 0.17; 'url:edu': 0.18; 'equivalent': 0.20; 'earlier': 0.21; 'error.': 0.21; 'claimed': 0.22; 'cc:2**0': 0.23; 'programming': 0.23; 'cc:no real name:2**0': 0.24; 'cc:addr:python.org': 0.25; 'header:In-Reply-To:1': 0.25; 'am,': 0.27; 'then.': 0.27; 'message-id:@mail.gmail.com': 0.27; "doesn't": 0.28; 'chris': 0.28; 'unified': 0.29; 'writes:': 0.29; 'case,': 0.29; 'expect': 0.31; 'received:209.85.160.46': 0.32; 'know.': 0.33; 'languages': 0.33; 'received:google.com': 0.34; 'ben': 0.35; 'so,': 0.35; 'received:209.85': 0.35; 'really': 0.36; 'depends': 0.36; 'one,': 0.37; 'being': 0.37; 'received:209': 0.37; 'subject:: ': 0.38; 'where': 0.40; 'header:Received:5': 0.40; 'skip:n 10': 0.63; 'more': 0.63; 'jul': 0.65; 'newcomer': 0.84; 'notion': 0.84; 'rexx,': 0.84; 'url:toronto': 0.84; 'rick': 0.91
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=3dUVYqkRH+Tf1LGklyjcvxtrzLYhGMl3m3XVpt+HUTs=; b=yMpTOu2RJioVEnOB1jQiKTnLMPIqDxeyHbyWIQjinVbuEoxJTQF5X/fU8ykb1jXLRD s2o0LWAX+oXJT17URkxo/zZL++IScOFOY4almy430hN52pDT3Lf0wserouqVRmeEeFxv mmKL1KwBKIQr6CabdHTY8ts4yGOGZcV1EV0oYf7HHxVj3CkcL0zoLVLCvSQscFbb8+nm TRUKh2dpDCMoPcOZbcJO9TDzrMlCiHrA8DT23r1gKighBssqjB+AsiT7IKDhIsB+fUQo et9th4c5Dq2iv0ThAGhrY9R3b/v24rTWXQ4hrzlnDelscvOJmys/d3P+DuuWzxCrOD8q nZoA==
MIME-Version: 1.0
In-Reply-To: <87395cq6sr.fsf@benfinney.id.au>
References: <mailman.1623.1340939177.4697.python-list@python.org> <6c39594f-79cb-4d4f-967e-bbc3f68cdbdf@f8g2000pbf.googlegroups.com> <4fed59b7$0$29978$c3e8da3$5496439d@news.astraweb.com> <mailman.1631.1340982202.4697.python-list@python.org> <EaAHr.369967$of1.132220@fx06.am4> <mailman.1651.1341052165.4697.python-list@python.org> <2662370.TGmo96CKe1@PointedEars.de> <mailman.1658.1341085147.4697.python-list@python.org> <VlJHr.500117$jl.112442@fx19.am4> <mailman.1659.1341089444.4697.python-list@python.org> <87wr2oecf6.fsf@dpt-info.u-strasbg.fr> <4FEF7117.7000109@jollybox.de> <jsns6l$7c0$1@dough.gmane.org> <mailman.1663.1341093928.4697.python-list@python.org> <87bok0qr62.fsf@benfinney.id.au> <mailman.1666.1341103028.4697.python-list@python.org> <87395cq6sr.fsf@benfinney.id.au>
From: Devin Jeanpierre <jeanpierreda@gmail.com>
Date: Sun, 1 Jul 2012 05:18:09 -0400
Subject: Re: code review
To: Ben Finney <ben+python@benfinney.id.au>
Content-Type: text/plain; charset=UTF-8
Cc: python-list@python.org
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <http://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <http://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.1679.1341134334.4697.python-list@python.org>
Lines: 24
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1341134334 news.xs4all.nl 6940 [2001:888:2000:d::a6]:57209
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:24736

On Sun, Jul 1, 2012 at 3:28 AM, Ben Finney <ben+python@benfinney.id.au> wrote:
> Chris Angelico <rosuav@gmail.com> writes:
>> C, SQL, REXX, and many other languages.
>
> So, languages without strong typing then. In that case, I revise my
> statement: I know of no programming language with strong typing that
> would give a newcomer to Python the above expectation.

OCaml is a language with absurdly strong typing, where a < b < c is
equivalent to (a < b) < c.

Obviously, this only works if c is a boolean, and if a and b are the
same type. Otherwise it is a type error.

Also, you claimed earlier that the notion of associative "<" is not
founded in mathematical notation. It really depends on whose
mathematical notation you use -- there's more than one, you know. For
example, it's reasonable to expect < to be left- or right-associative
in a system like Rick Hehner's Unified Algebra:
http://www.cs.toronto.edu/~hehner/UA.pdf (although, he himself doesn't
specify it as being one or the other, so by default one would assume
'a < b < c' to be nonsensical.)

-- Devin